Documentation cleanup: use \brief, and don't repeat the identifier being
declared.