Fix a scheduling bug.