Fixing Doxygen warnings