Minor changes to html