corrections to .travis.yml