Fixing sched.h documentation