Some more formatting fixes for the HTML.