Fix typo (last commit renamed the file)