fix glitch in benchmark_profile