Fix a filename error.