Fix filename typo

Fix filename typo found in #18.