corrected bug in xslt/xml2tex.xsl