Fix typo in file name to make travis-ci happy