Fix a miss setting for Travis CI