small edits to html files