minor tweaks to travis