fix profiling outpu