Doxygen tweaks