Fix typo in file name. Fixes #4.