More Doxygen tweaks