diff --git a/Main.lean b/Main.lean
index a490112..dc4b14f 100644
--- a/Main.lean
+++ b/Main.lean
@@ -108,6 +108,7 @@ unsafe def main (args: List String): IO Unit := do
       errToSorry := false
     })
     let coreM := metaM.run'
+    IO.println "ready."
     discard <| coreM.toIO coreContext { env := env }
   catch ex =>
     IO.println "Uncaught IO exception"
diff --git a/Pantograph/Version.lean b/Pantograph/Version.lean
index f179705..f450292 100644
--- a/Pantograph/Version.lean
+++ b/Pantograph/Version.lean
@@ -1,5 +1,5 @@
 namespace Pantograph
 
-def version := "0.2.4"
+def version := "0.2.5"
 
 end Pantograph