Fixed up some documentation, after discovering the text had lots of
errors.