added missing bug fix in the release notes