Fix typo for travis-ci