Another minor tweak to travis config.