diff -r 31e427387ab5 -r 4a7a07c01857 src/Pure/Thy/thy_load.ML
--- a/src/Pure/Thy/thy_load.ML	Wed Mar 12 22:57:50 2014 +0100
+++ b/src/Pure/Thy/thy_load.ML	Thu Mar 13 10:34:48 2014 +0100
@@ -200,7 +200,7 @@
     val path = Path.append dir (Path.explode name)
       handle ERROR msg => error (msg ^ Position.here pos);
 
-    val _ = Context_Position.report ctxt pos (Markup.path name);
+    val _ = Context_Position.report ctxt pos (Markup.path (Path.smart_implode path));
     val _ =
       if can Path.expand path andalso File.exists path then ()
       else