fixed .html.html filenames