doc: Minor doxygen fixes.