src/Pure/Syntax/syntax.ML

     fun parse_tree tree =
       let
         val source = input_source tree;
         val syms = Input.source_explode source;
         val pos = Input.pos_of source;
-        val _ = Context_Position.report ctxt pos (markup (Input.is_delimited source));
+        val _ =
+          Context_Position.reports ctxt
+            [(pos, Markup.cartouche), (pos, markup (Input.is_delimited source))];
         val _ =
           if Options.default_bool "update_inner_syntax_cartouches" then
             Context_Position.report_text ctxt
               pos Markup.update (cartouche (Symbol_Pos.content syms))
           else ();