Docs: typo?

Closes #7458