documentation fix
Bug fix in TaskScheduler.isSatisfied()