Fix correctness bug! Progstate wasn't getting successfully updated after a view change,
which meant no real consistency :(