correction in .travis.yml