Fix the scheduler docs.