Typo in docs
Merge pull request #4466 from docsolver/patch-3

Typo in docs