Doxygen corrections