Thanks! Thank you for reporting a bug. I have an idea on what is wrong, so it will be checked and fixed.
