Minor documentation clean-up.