Add a reference to the scheduler bug