Work around some weird behavior of LaTeXML
Fix HTML truncation