Minor tweak to travis.yml