minor tweaks to HTML