Maybe fix travis?