More documentation fixes
Next job: get the tree-building code in automorphism to work.