Documentation cleanup: Mostly formatting \brief documentation, also fix a
typo or two.