minor edits to html files