Minor documentation editing.