minor formatting changes on the html output