Minor changes in .travis.yml