Docs: A simple typo.

Closes #7535