Fix a wrong turn in the scheduler