Small changes in .travis.yml