5b16020846
Follow-up to #38736 (these uses were likely added after this PR was merged).
Follow-up to #38736 (these uses were likely added after this PR was merged).