src/Pure/Tools/jedit.ML

           (Active.make_markup Markup.jedit_actionN {implicit = false, properties = []});
       val msg = "Invoke " ^ bg1 ^ name ^ bg2 ^ name ^ en ^ " jEdit action";
     in writeln (msg ^ Position.here pos); name end
   else
     let
-      val completion =
-        Completion.make (name, pos)
+      val completion_report =
+        Completion.make_report (name, pos)
           (fn completed =>
             Lazy.force all_actions
             |> filter completed
             |> sort_strings
             |> map (fn a => (a, ("action", a))));
-      val report = Markup.markup_report (Completion.reported_text completion);
-    in error ("Bad jEdit action " ^ quote name ^ Position.here pos ^ report) end
+    in error ("Bad jEdit action " ^ quote name ^ Position.here pos ^ completion_report) end
 
 val _ =
   Theory.setup
     (Thy_Output.antiquotation_verbatim \<^binding>\<open>action\<close> (Scan.lift (Parse.position Parse.embedded))
       (fn ctxt => fn (name, pos) =>