Minor doxygen fix