diff --git a/gpl-lgpl.tex b/gpl-lgpl.tex
index 326be3b9f32a8a2e4c4be1ecc0b08800b14147d9..128c5ae08e00b60cf823fac6b6f0f2218128b02b 100644
--- a/gpl-lgpl.tex
+++ b/gpl-lgpl.tex
@@ -2183,10 +2183,11 @@ that.
 Under copyright law, the GPL has granted various rights and freedoms to
 the licensee to perform specific types of copying, modification, and
 redistribution.  By default, all other types of copying, modification, and
-redistribution are prohibited.  GPLv2~\S4 says that if you undertake any of
-those other types (e.g., redistributing binary-only in violation of GPLv2~\S3),
-then all rights under the license --- even those otherwise permitted for
-those who have not violated --- terminate automatically.
+redistribution are prohibited (if and because they're prohibited by copyright).
+GPLv2~\S4 says that if you undertake any of those other types (e.g.,
+redistributing binary-only in violation of GPLv2~\S3), then all rights under
+the license --- even those otherwise permitted for those who have not
+violated --- terminate automatically.
 
 GPLv2~\S4 makes GPLv2 enforceable.  If licensees fail to adhere to the
 license, then they are stuck without any permission under to engage in