update for HtmlFormatter