Fixing release notes after #941