Fixes #16657.  Fix typo.