fix htexdoc