Thank you for the report. We will look at the issue, try to reproduce and eventually find a fix for next release.