Jochen Eisinger Wed, 07 May 2008 08:43:35 +0200
Hi, thanks for reporting this. It's fixed in CVS now.
regards -- jochen