Minor changes to html files.