Improve the VersionCheck static typing