I can't reproduce the issue yet, so I assumed that it is fixed.