Minor fix in the release notes.