Tiny typos fixed and some rearrangement of an example. Occasional formatting fixes.