Dear Thomas,

Indeed we forgot to close this issue, and again thank you for the report, it was helpful to know about that issue.