Possibly fix travis.