Fix profiler.js