tuned;

--- a/src/Pure/PIDE/document.scala	Mon Nov 18 17:16:56 2013 +0100
+++ b/src/Pure/PIDE/document.scala	Mon Nov 18 17:24:04 2013 +0100
@@ -84,9 +84,9 @@
           case other: Name => node == other.node
           case _ => false
         }
-      override def toString: String = theory
 
       def is_theory: Boolean = !theory.isEmpty
+      override def toString: String = if (is_theory) theory else node
     }