diff --git a/DocGen4/Output/SourceLinker.lean b/DocGen4/Output/SourceLinker.lean
index 3229721..cb25aaf 100644
--- a/DocGen4/Output/SourceLinker.lean
+++ b/DocGen4/Output/SourceLinker.lean
@@ -41,7 +41,7 @@ def getProjectGithubUrl (directory : System.FilePath := "." ) : IO String := do
     cwd := directory
   }
   if out.exitCode != 0 then
-    throw <| IO.userError <| "git exited with code " ++ toString out.exitCode
+    throw <| IO.userError <| s!"git exited with code {out.exitCode} while looking for the git remote in {directory}"
   return out.stdout.trimRight
 
 /--
@@ -54,7 +54,7 @@ def getProjectCommit (directory : System.FilePath := "." ) : IO String := do
     cwd := directory
   }
   if out.exitCode != 0 then
-    throw <| IO.userError <| "git exited with code " ++ toString out.exitCode
+    throw <| IO.userError <| s!"git exited with code {out.exitCode} while looking for the current commit in {directory}"
   return out.stdout.trimRight
 
 /--
diff --git a/lean-toolchain b/lean-toolchain
index 640f209..f8f5f5c 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.1.0-rc1
+leanprover/lean4:v4.1.0