small tweak to html