Fixed a state-serialization format breakage in Seen