Tweaking for travis