Thanks for your report. True, the problem is very likely in my code, and I will fix it as soon as possible!
