Fix some small grammatical errors; fix some small examples