Fixing a wrong file name.