Fix a travis warning

(Does this also fix a travis error?)