Paul,
I wondered the same thing, but simply changed them using the same sizes as it seemed to stretch a small bit not to interfere with its sealing ability.
I have not seen anyone else question this size difference and assume everyone else used the same ones despite the small difference in the diameter of the shaft. Leave it to you to notice! The devil is often in the details, isn't it?
Adam