Fix (potential) error in Simulator.reset()