minor edits for typos in the Manual

[ci skip]
This tag has no release notes.