Update HtmlFormatter.php