Fix (hopefully) travis