Some minor changes regarding f32576b7 (console/profilerEngine.js)