fixes #5924; fix typo