A bugfix in scheduler.