More doxygen tweaking