Formatting and typo.
General doc clean-up.