Update users of Monitor's schedulerState

Missed that in the previous commit, whoops.