Minor tweak to travis config