Hello, thank you for the report. I have applied your change to the git master and also will back-port it to 5.0 and 5.1 branches. It would be great if you could submit eventual further changes as git pull request, this makes it much easier to review and apply. Best regards, Henning