Small formatting tweak for .travis.yml