Minor changes to the html