Tweak RELEASENOTES.md (missed a bug fix in last release)