small fixes to HTML report