comment on VersionGTE()