Made trivial modification to scheduler