Assorted doxygen fixes; no functional changes.