diff --git a/infer/src/quandary/ClangTrace.ml b/infer/src/quandary/ClangTrace.ml
index 9bd8cb682..df856314e 100644
--- a/infer/src/quandary/ClangTrace.ml
+++ b/infer/src/quandary/ClangTrace.ml
@@ -179,17 +179,17 @@ module SourceKind = struct
 
   let pp fmt = function
     | Endpoint (formal_name, _) ->
-        F.fprintf fmt "Endpoint[%s]" (Mangled.to_string formal_name)
+        F.fprintf fmt "Endpoint\\[%s\\]" (Mangled.to_string formal_name)
     | EnvironmentVariable ->
         F.fprintf fmt "EnvironmentVariable"
     | ReadFile ->
         F.fprintf fmt "File"
     | CommandLineFlag (var, _) ->
-        F.fprintf fmt "CommandLineFlag[%a]" Var.pp var
+        F.fprintf fmt "CommandLineFlag\\[%a\\]" Var.pp var
     | Other ->
         F.fprintf fmt "Other"
     | UserControlledEndpoint (formal_name, _) ->
-        F.fprintf fmt "UserControlledEndpoint[%s]" (Mangled.to_string formal_name)
+        F.fprintf fmt "UserControlledEndpoint\\[%s\\]" (Mangled.to_string formal_name)
 end
 
 module CppSource = Source.Make (SourceKind)
diff --git a/infer/src/quandary/JavaTrace.ml b/infer/src/quandary/JavaTrace.ml
index 50908b60e..3390c1b6c 100644
--- a/infer/src/quandary/JavaTrace.ml
+++ b/infer/src/quandary/JavaTrace.ml
@@ -247,7 +247,7 @@ module SourceKind = struct
       | DrawableResource pvar ->
           Pvar.to_string pvar
       | Endpoint (formal_name, _) ->
-          F.asprintf "Endpoint[%s]" (Mangled.to_string formal_name)
+          F.asprintf "Endpoint\\[%s\\]" (Mangled.to_string formal_name)
       | Intent ->
           "Intent"
       | IntentFromURI ->