Thanks for reporting! I cannot reproduce it now, so I think it got fixed in the meantime. Please let me know if otherwise.