Fix a doxygen warning in Profiler.