Tweak to travis.yml