Documentation cleanup: trivial misspelling, punctuation, and grammar corrections.