fix typo in 4822 merged pull request

Typo in #4822