Minor changes to doxygen output