fix PR mentioned in release notes