diff --git a/docs/language/informal/invalid_returns.md b/docs/language/informal/invalid_returns.md
index b858d83599e..0dbf0e279cc 100644
--- a/docs/language/informal/invalid_returns.md
+++ b/docs/language/informal/invalid_returns.md
@@ -11,14 +11,14 @@ valid*.*
 ### Expression bodied functions
 
 
-An asynchronous expression bodied function with return type `T` and return
-expression `e` has a valid return if:
+An asynchronous expression bodied function with return type `T` and body `exp`
+has a valid return if:
   * `flatten(T)` is `void`
   * or `return exp;` is a valid return for an equivalent block bodied function
   with return type `T` as defined below.
 
-A synchronous expression bodied function with return type `T` and return expression
-`e` has a valid return if:
+A synchronous expression bodied function with return type `T` and body `exp` has
+a valid return if:
   * `T` is `void`
   * or `return exp;` is a valid return for an equivalent block bodied function
   with return type `T` as defined below.
@@ -77,14 +77,14 @@ The rules for an asynchronous non-generator function with declared return type
 ### Expression bodied functions
 
 
-It is an error if an asynchronous expression bodied function with return type `T`
-has return expression `exp` and both:
+It is an error if an asynchronous expression bodied function with return type
+`T` has body `exp` and both:
   * `flatten(T)` is not `void`
   * `return exp;` would be an error in an equivalent block bodied function
   with return type `T` as defined below.
 
 It is an error if a synchronous expression bodied function with return type `T`
-has return expression `exp` and both:
+has body `exp` and both:
   * `T` is not `void`
   * `return exp;` would be an error in an equivalent block bodied function
   with return type `T` as defined below.