// small fix on profiling