Minor tweaks to `.travis.yml`