document ExplicitStateUpdater more thoroughly and fix a bug in the tests