corrected minor issue in HtmlReporter (must have been merge-problem...)