Small doxygen tweaks