--- a/examples/learn_pyke/learn_pyke.tst
+++ b/examples/learn_pyke/learn_pyke.tst
@@ -1,6 +1,6 @@
-# forall.tst
+# learn_pyke.tst
 
-    >>> import run
+    >>> from examples.learn_pyke import run
     >>> from io import StringIO
     >>> import sys