diff --git a/flake.nix b/flake.nix
index bb7b0ca48d..98b82daf99 100644
--- a/flake.nix
+++ b/flake.nix
@@ -100,7 +100,7 @@
         '';
         mdbook = lean-mdbook;
         inherit doc doc-test;
-      } // lean.stage1 // lean;
+      } // lean.stage1.Lean // lean.stage1 // lean;
 
       defaultPackage = packages.lean;