src/Tools/jEdit/src/theories_dockable.scala

       focused: Boolean, name: Document.Node.Name, index: Int): Component =
     {
       val component = Node_Renderer_Component
       component.node_name = name
       component.checkbox.selected = nodes_required.contains(name)
-      component.label.text = name.theory
+      component.label.text = name.theory_base_name
       component
     }
   }
   status.renderer = new Node_Renderer