Fix an issue with the HtmlFormat class.