Small modifications to .travis.yml