Minor updates to RELEASE.md