I can not reproduce this issue. So I assume this had been fixed. Closing. Please reopen if you still experience this issue.