Problem with psgml-html