Correct references to version *2*.25.

Andy, I think this is what you were aiming for :-)