minor changes to the html files.