Fix a wrong file name