Thanks for the bug report. We are aware of that bug, but it doesn't bother us right now, maybe we will fix later.
