(Not something you need to "fix" in this PR of course. Just an observation; curious if you have thoughts.)