Correct some file names