Documentation edit.

Minor stuff: spelling, some crefs.