Code review: 183580043: Fixing a minor bug in the JSON serializer.