Fix a typo
Fixes #5201