minor issue in VERSIONS