edits in the release notes for 4.2