A couple of grammatical fixes inthe documentation