Fix a wrong filename