bugfix: avoid duplicate profiling