Fix file typo
Merge pull request #782 from emmanuel-keller/1.5

Fix file typo