Minor doxygen improvements.