Smaller change in the travis.yml