+ added HtmlResultFormatter