Small doxygen fix