Bug is possibly fixed in the meantime. I think I haven't noticed it for a while. Closing pre-emptively.