Fix a deserialization bug