More tweaks to doxygen