minor fixes to html