The bug seems to be quite random. I wasn't able to reproduce it any more, so I assume that it is fixed now.
The bug seems to be quite random. I wasn't able to reproduce it any more, so I assume that it is fixed now.