Editing some html files