yet another minor fix of the release notes