Tiny adjustment in .travis.yml