Patch to psgml-parse.el