Correct typo.

Fixes issue 7202.