Minor typo in documentation

[hex1c]

While going through the documentation, I noticed a minor typo in one of the sections.
This issue is just to track and fix that typo.

[hsivonen]

I infer that this was fixed in #7023.