Fix a file name issue