Some release-note fix-ups.