Fix typo.  Fixes #4183