minor changes in the .travis.yml