proc:SCHED_ENQUEUE(): Documentation fix.