fixes output of HtmlFormatter