Minor changes to .travis.yml