docbook-xml and docbook-xsl formatting