Tweaks to sort out travis