Trivial typo fix

Nit was commented in #3727, but was forgotten about.