changed some extensions to html