A silly nit, but it was annoying.
Pull request: https://github.com/WebKit/WebKit/pull/1987
Committed 252038@main (e01ff328e37b): <https://commits.webkit.org/252038@main> Reviewed commits have been landed. Closing PR #1987 and removing active labels.
<rdar://problem/96289984>