I think this fixes an issue where pausing at a breakpoint can make the scheduler fail