Summary

Fixes #

Verification

Checklist

• [ ] Tests cover the change and fail without it
• [ ] Lint, format, typecheck and the affected suites pass locally

Does this PR entail a change in behavior?

• [ ] Yes — described under Summary above
• [ ] No