Thanks, fixed in CVS