Several small HTML report changes