diff --git a/cmd/cue/cmd/testdata/script/issue473.txt b/cmd/cue/cmd/testdata/script/issue473.txt
new file mode 100644
index 0000000..2951655
--- /dev/null
+++ b/cmd/cue/cmd/testdata/script/issue473.txt
@@ -0,0 +1,36 @@
+cue eval --out json x.cue
+
+-- cue.mod/module.cue --
+module: "mod.com"
+-- x.cue --
+package x
+
+#Guide: {
+        Terminals: [string]: #Terminal
+
+        Steps: [string]: #Step
+
+        #TerminalName: or([ for k, _ in Terminals {k}])
+
+        #Step: {
+                Terminal: #TerminalName
+                Cmd:      string
+        }
+
+        #Terminal: {
+                Image: string
+        }
+}
+
+g: #Guide & {
+        Terminals: client: {
+                Image: "golang"
+        }
+
+        Steps: {
+                list: {
+                        Terminal: "client"
+                        Cmd:      "ls"
+                }
+        }
+}
\ No newline at end of file
diff --git a/internal/core/compile/compile.go b/internal/core/compile/compile.go
index 6a174f7..853a6a6 100644
--- a/internal/core/compile/compile.go
+++ b/internal/core/compile/compile.go
@@ -663,6 +663,7 @@
 		prev = next
 	}
 
+	// TODO: make x.Value an *ast.StructLit and this is redundant.
 	if y, ok := x.Value.(*ast.StructLit); !ok {
 		return c.errf(x.Value,
 			"comprehension value must be struct, found %T", y)
diff --git a/internal/core/export/adt.go b/internal/core/export/adt.go
index 27a94d5..d73b0eb 100644
--- a/internal/core/export/adt.go
+++ b/internal/core/export/adt.go
@@ -398,7 +398,11 @@
 			y = x.Dst
 
 		case *adt.ValueClause:
-			c.Value = e.expr(x.StructLit)
+			v := e.expr(x.StructLit)
+			if _, ok := v.(*ast.StructLit); !ok {
+				v = ast.NewStruct(ast.Embed(v))
+			}
+			c.Value = v
 			return c
 
 		default: