Minor Doxygen fix