Minor fixes to RELEASE.md [ci skip]