minor tweak to .travis.yml