Fixed a couple of syntactic errors in Scheduler.py