--- a/src/Tools/jEdit/src/proofdocument/state.scala	Sun Jan 10 21:14:44 2010 +0100
+++ b/src/Tools/jEdit/src/proofdocument/state.scala	Mon Jan 11 01:40:18 2010 +0100
@@ -52,7 +52,7 @@
     types.find(t => t.start <= pos && pos < t.stop) match {
       case Some(t) =>
         t.info match {
-          case Command.TypeInfo(ty) => Some(command.content(t.start, t.stop) + ": " + ty)
+          case Command.TypeInfo(ty) => Some(command.source(t.start, t.stop) + ": " + ty)
           case _ => None
         }
       case None => None