Changes to the HTML & LaTeX backends