issue #4401, fix a typo