Fix badly renamed file.