Added a comment: fixed in a recent release, I think