Minor fix in profiler.h.