fixing some filenames and file extensions.