diff --git a/README.md b/README.md
index ffeac9a..de2e916 100644
--- a/README.md
+++ b/README.md
@@ -676,7 +676,7 @@ Leaves the client's current group. No payload fields.
 
 A client sends this when it no longer wants to take part in its group's playback, for example while performing an [interruptible non-Sendspin activity](#interruptible-activity-client-stays-available).
 
-The server handles it as [when the client becomes unavailable](#server-behavior-when-a-client-becomes-unavailable-available-false): the client ends up in a solo group with playback stopped, and rejoins only via an explicit [`switch`](#switch-command-cycle).
+The server handles it as [when the client becomes unavailable](#server-behavior-when-a-client-becomes-unavailable-available-false): the client ends up in a solo group with playback stopped, and rejoins only via an explicit [`switch`](#switch-command-cycle). Unlike becoming unavailable, a leave ends no stream by itself. Each stream continues or ends as it would for any client in the new solo group.
 
 ### Server → Client: `server/state`
 
diff --git a/messaging.md b/messaging.md
index a864cea..5688cf5 100644
--- a/messaging.md
+++ b/messaging.md
@@ -358,7 +358,7 @@ Leaves the client's current group. No payload fields.
 
 A client sends this when it no longer wants to take part in its group's playback, for example while performing an [interruptible non-Sendspin activity](#interruptible-activity-client-stays-available).
 
-The server handles it as [when the client becomes unavailable](#server-behavior-when-a-client-becomes-unavailable-available-false): the client ends up in a solo group with playback stopped, and rejoins only via an explicit [`switch`](roles/controller/v1.md#switch-command-cycle).
+The server handles it as [when the client becomes unavailable](#server-behavior-when-a-client-becomes-unavailable-available-false): the client ends up in a solo group with playback stopped, and rejoins only via an explicit [`switch`](roles/controller/v1.md#switch-command-cycle). Unlike becoming unavailable, a leave ends no stream by itself. Each stream continues or ends as it would for any client in the new solo group.
 
 ### Server → Client: `server/state`