Revert typo of a file name #7