Renaming html file.