Fix a typo in file name