diff --git a/gpl-lgpl.tex b/gpl-lgpl.tex
index 5097b78..e015ea5 100644
--- a/gpl-lgpl.tex
+++ b/gpl-lgpl.tex
@@ -3564,24 +3564,24 @@ unchangeable past agreements could fall within the  scope of GPLv3~\S11\P7.
 In future deals, distributors engaging in ordinary business practices
 can structure the agreements so that they do not fall under GPLv3~\S11\P7.
 
-\section{GPLv3~\S12: Familiar as GPLv2 \S~7}
+\section{GPLv3~\S12: Familiar as GPLv2~\S7}
 
-% FIXME:  probably mostly still right, needs some updates, though.
+GPLv2~\S12 remains almost completely unchanged from the text that appears
+GPLv2~\S7.  This is an important provision that ensures a catch-all to ensure
+that nothing ``surprising'' interferes with the continued conveyance safely
+under copyleft.
 
-The wording in the first sentence of section 12 has been revised
-slightly to clarify that an agreement, such as a litigation settlement
-agreement or a patent license agreement, is one of the ways in which
-conditions may be ``imposed'' on a GPL licensee that may contradict the
-conditions of the GPL, but which do not excuse the licensee from
-compliance with those conditions.  This change codifies what has been
-our interpretation of GPLv2.  
+The wording in the first sentence of GPLv3~\S12 has been revised slightly to
+clarify that an agreement -- such as a litigation settlement agreement or a
+patent license agreement -- is one of the ways in which conditions may be
+``imposed'' on a GPL licensee that may contradict the conditions of the GPL,
+but which do not excuse the licensee from compliance with those conditions.
+This change codifies the historical interpretation of GPLv2.
 
-% FIXME:  probably mostly still right, needs some updates, though.
-
-We have removed the limited severability clause of GPLv2 section 7 as a
+GPLv3 removed the limited severability clause of GPLv2~\S7 as a
 matter of tactical judgment, believing that this is the best way to ensure
-that all provisions of the GPL will be upheld in court. We have also removed
-the final sentence of GPLv2 section 7, which we consider to be unnecessary.
+that all provisions of the GPL will be upheld in court. GPLv3 also removed
+the final sentence of GPLv2 section 7, which the FSF consider to be unnecessary.
 
 \section{GPLv3~\S13: The Great Affero Compromise}