More minor cleanup in the HTML.