Update State.cc