fix a file name typo