More doxygen tweaks.