Tweaks for Travis