More doxygen fixes