minor changes to html file