Hi Gerhard, thanks for your report! On 20.07.2011 22:32, Gerhard Hejc wrote: > fixes the problem in my application, but I am not absolutely sure that > this does not have any side effects. What do you think? Your fix seems to do the right thing. I applied it to the repository. Regards, Jens