Fixed a file name typo.