fixed double counting in #restarts
fixed double counting in #restarts
fixed double counting in #restarts