Language fixups (release notes and #5533)