Fix documentation of set_scheduler