Fix bad deserialization