this unrelated formatting change does not belong in this PR