Made stale_state private.