cosmetic improvements to RELEASE_NOTES