[andreashorn]

Hi Philip,

thanks for letting us know. I’ll nevertheless check this bug and try to fix it within the next release.

Best, Andy