bug fix: Invoke the Scheduler Before Returning from a System Call