More minor tweaks in the html