Fix bug in VersionInputInterface