small change in VERSIONS.txt