Correct references to version *2*.25.