Minor Doxygen changes