Documentation cleanup: make a \brief be brief, and fix a bad use of \see.