Minor tweak to .travis.yml