Fix interval scheduler in ClockScheduler.