Minor Doxygen improvements and fixes.