Minor change to Travis CI config.