Fix core timers broken by previous commit :(