Bugfix in profiler