diff --git a/nix/agda-extra-env.nix b/nix/agda-extra-env.nix
index ca24c971ea3..8b1d1df5b09 100644
--- a/nix/agda-extra-env.nix
+++ b/nix/agda-extra-env.nix
@@ -5,11 +5,11 @@
 {
   shellHookExports = ''
     export AGDA_STDLIB_SRC="${repoRoot.nix.agda-with-stdlib}/src"
-    export PLUTUS_METHATHEORY_SRC="${repoRoot.src.plutus-metatheory}/src"
+    export PLUTUS_METHATHEORY_SRC="${repoRoot.plutus-metatheory}/src"
   '';
 
   wrapProgramArgs = ''
     --set AGDA_STDLIB_SRC "${repoRoot.nix.agda-with-stdlib}/src" \
-    --set PLUTUS_METHATHEORY_SRC "${repoRoot.src.plutus-metatheory}/src"
+    --set PLUTUS_METHATHEORY_SRC "${repoRoot.plutus-metatheory}/src"
   '';
 }