sched: minor changes