revising examples, fixing typos
machine-generated version