Possibly fix travis?