Document bugfix in release notes