minor corrections, examples, and first documentation