Major bug in scheduler: tasks got lost if same due time.