diff --git a/codedown/mkCodeDownEnvironment.nix b/codedown/mkCodeDownEnvironment.nix
index dd1f6464..1dc2de76 100644
--- a/codedown/mkCodeDownEnvironment.nix
+++ b/codedown/mkCodeDownEnvironment.nix
@@ -32,7 +32,7 @@ let
   shellToReplInfo = shell: {
     name = shell.contents.name;
     display_name = shell.contents.displayName;
-    executable_name = shell.contents.executableName;
+    attr = shell.contents.attr;
     args = ["${shell.contents}/lib/codedown/shell"];
     icon = shell.contents.icon;
   };