fix deserialization