minor update in RELEASE.txt