Minor corrections to .travis.yml