Hi Matthew,

thanks for finding this. I have fixed the issue in CVS.

Have a nice day!