Fix a doxygen mistake.