Add some overlooked bug fixes to the release notes