Update JsonSerializationVisitor.php