Minor changes to html file