Manually tidy up the HTML.