Corrections to .travis.yml