Fixing #1287: Hierarchy scheduler broken performance counters