Johan Widén <j.e.widen@gmail.com> writes:

> Yes, it seems to be fixed. I can no longer provoke the bug.

Thanks, I'm therefore closing this bug.