Fixing the use of doxygen