Travis CI config correction