Fix description of recent bug fix in the release notes