fix deserialization bug