minor fixes to html page