various grammar and typo fixes in the higher level docs