fix typo in PR #4744