Doxygen fix