Minor tweaks to travis config.