Debugged latex_to_HTML.