Small improvement to the HTML report