Updating / correcting some examples; fixing some typos; general tweakage.