Fix typo in filenames.