A similar patch is already in CVS. But thanks!