This should have been part of 58d31f9d, so, to
avoid similar problems with versions getting out of sync in the future, also
add comments mentioning the other place to modify when changing the version in
one of them.