fixing small typo in a file name