Renaming html file for consistent naming.