Fix cross-references
Fix some typos
Fix example to one that actually fails.