Minor tweaks to .travis.yml