Minor tweak to HTML report.