Fixes #63 (profiling)