Tweaks to Travis