Fix typo in docs.

For one line doc-fixes, what is easiest for you? Pull request or an issue?