diff --git a/TSPL.docc/ReferenceManual/Expressions.md b/TSPL.docc/ReferenceManual/Expressions.md
index 96b11b9e6..3d0b08e31 100644
--- a/TSPL.docc/ReferenceManual/Expressions.md
+++ b/TSPL.docc/ReferenceManual/Expressions.md
@@ -51,6 +51,15 @@ as an in-out argument to a function call expression.
 &<#expression#>
 ```
 
+The _expression_ is a combination of the following kinds of expression:
+
+- An identifier or `self`
+- Access to a member, including properties, tuple elements, and `.self`
+- Access to an array subscript
+
+Member access can be explicit like `f(&x.y)` or implicit like `f(&.z)`.
+The _expression_ can also include grouping parentheses.
+
 For more information about in-out parameters and to see an example,
 see <doc:Functions#In-Out-Parameters>.
 
@@ -61,7 +70,7 @@ as described in <doc:Expressions#Implicit-Conversion-to-a-Pointer-Type>.
 
 > Grammar of an in-out expression:
 >
-> *in-out-expression* → **`&`** *primary-expression*
+> *in-out-expression* → **`&`** *postfix-expression*
 
 ### Try Operator
 
diff --git a/TSPL.docc/ReferenceManual/SummaryOfTheGrammar.md b/TSPL.docc/ReferenceManual/SummaryOfTheGrammar.md
index 4358f1f7d..e214ab885 100644
--- a/TSPL.docc/ReferenceManual/SummaryOfTheGrammar.md
+++ b/TSPL.docc/ReferenceManual/SummaryOfTheGrammar.md
@@ -323,7 +323,7 @@ make the same change here also.
 
 > Grammar of an in-out expression:
 >
-> *in-out-expression* → **`&`** *primary-expression*
+> *in-out-expression* → **`&`** *postfix-expression*
 
 > Grammar of a try expression:
 >