Minor tweaks to the HTML