Fix file-naming typo