WHATSNEW: Fix some issues in the release notes.