Fix typo in the documentation.

Fixes #6378