Fixing a deserialization bug.