Fix filename typo.