diff --git a/src/types/closure.md b/src/types/closure.md
index d46d7f7ae..7a42df1a8 100644
--- a/src/types/closure.md
+++ b/src/types/closure.md
@@ -465,7 +465,7 @@ But at the same time, borrowing `x` immutably would make the assignment illegal,
 because a `& &mut` reference might not be unique, so it cannot safely be used to modify a value.
 So a unique immutable borrow is used: it borrows `x` immutably, but like a mutable borrow, it must be unique.
 
-In the above example, uncommenting the declaration of `y` will produce an error because it would violate the uniqueness of the closure's borrow of `x`; the declaration of z is valid because the closure's lifetime has expired at the end of the block, releasing the borrow.
+In the above example, uncommenting the declaration of `y` will produce an error because it would violate the uniqueness of the closure's borrow of `x`; the declaration of `z` is valid because the closure's lifetime has expired, i.e. there are no `c` calls after `z`, releasing the borrow.
 
 ## Call traits and coercions