correcting a type for state dump