diff --git a/flake.nix b/flake.nix
index f5a40b5..e84474c 100644
--- a/flake.nix
+++ b/flake.nix
@@ -47,7 +47,7 @@
         };
         agda2hs = agda2hsPackages.withPackages [agda2hslib scopelib];
         agda-core = pkgs.haskellPackages.callPackage ./nix/agda-core.nix {inherit agda2hs;};
-      in rec {
+      in {
         packages = {
           agda-core-lib = agdaDerivation
             { name = "agda-core-lib";
@@ -64,7 +64,7 @@
         };
 
         devShells.default = pkgs.haskellPackages.shellFor {
-          packages = p: [packages.agda-core];
+          packages = p: [agda-core];
           buildInputs = with pkgs.haskellPackages; [
             cabal-install
             cabal2nix
diff --git a/nix/agda-core.nix b/nix/agda-core.nix
index d046ffa..c45adeb 100644
--- a/nix/agda-core.nix
+++ b/nix/agda-core.nix
@@ -1,8 +1,8 @@
 # this package is produced by calling cabal2nix . in the parent directory
-# and then changing the following:
+# and then doing the following:
 # add an agda2hs argument
-# add buildTools = [agda2hs];
 # change src to ../. instead of ./.
+# add buildTools = [agda2hs];
 # add preBuild = ''make alllib'';
 # maybe there's a better way to do it automatically, but I can't see it immediately
 { mkDerivation, base, lib, agda2hs}: