minor tweaks in html