problem with docbook-xsl-1.72.0