Thanks for the patch. I have committed a slightly different patch to subversion tree.