diff --git a/doc/ref/spec.md b/doc/ref/spec.md
index f6205c9..cc6ad2c 100644
--- a/doc/ref/spec.md
+++ b/doc/ref/spec.md
@@ -1615,7 +1615,9 @@
 CUE is lexically scoped using blocks:
 
 1. The scope of a [predeclared identifier](#predeclared-identifiers) is the universe block.
-1. The scope of an identifier denoting a field or alias
+1. The scope of an identifier denoting a field
+  declared at top level (outside any struct literal) is the package block.
+1. The scope of an identifier denoting an alias
   declared at top level (outside any struct literal) is the file block.
 1. The scope of the package name of an imported package is the file block of the
   file containing the import declaration.
@@ -1695,7 +1697,7 @@
 
 foo: string  // not visible outside mypackage
 
-Foo :: {       // visible outside mypackage
+Foo :: {     // visible outside mypackage
     a: 1     // visible outside mypackage
     B: 2     // visible outside mypackage