Doxygen-clean