Fix file name
Merge pull request #537 from emmanuel-keller/master

Fix file name