Another Travis CI config correction.