Same as above. I'm thinking of some odd case where these versions actually get out of sync (our tests might not do that, but outside intervention is possible).