Fix a minor doxygen issue