diff --git a/nix/templates/pkg/flake.nix b/nix/templates/pkg/flake.nix
index 44ad076d6b..4ecd6e3d8b 100644
--- a/nix/templates/pkg/flake.nix
+++ b/nix/templates/pkg/flake.nix
@@ -5,14 +5,17 @@
   inputs.flake-utils.url = github:numtide/flake-utils;
 
   outputs = { self, lean, flake-utils }: flake-utils.lib.eachDefaultSystem (system:
-    let leanPkgs = lean.packages.${system}; in rec {
-      packages = {
-        inherit (leanPkgs) lean;
-      } // leanPkgs.buildLeanPackage {
+    let
+      leanPkgs = lean.packages.${system};
+      pkg = leanPkgs.buildLeanPackage {
         name = "MyPackage";  # must match the name of the top-level .lean file
         src = ./.;
       };
+    in {
+      packages = pkg // {
+        inherit (leanPkgs) lean;
+      };
 
-      defaultPackage = packages.modRoot;
+      defaultPackage = pkg.modRoot;
     });
 }