Merged — thank you for the report and the fix!

- Arne