While these things were happening the wind did not shift its direction, but, the sea being smoother, the ships were more easy, though they let in so much water that they never left off pumping.

As he had said, his wheel was in good shape, with neither tire needing any pumping up.