tweaks to travis