Minor changes to the html files