Yet another config typo for Travis CI