Fix deserialization bug in JSON serializer.