minor typo in manual
Merge pull request #4133 from goretkin/patch-1

minor typo in manual