Many thanks for the report. I’ll make it a task.
Would you mind to report issues at our tracker? All you need is a github account. I may not check the forum at a daily base, and the tracker is simply the better place for such reports.
This is my signature. You can change your signature in the profile