Thanks for the patch.  A similar fix is already in CVS.

Reply via email to