Typo fix

Fixes #4814