Probably fix travis