diff --git a/gpl-lgpl.tex b/gpl-lgpl.tex
index eb0ec0b673910ea75f5ab93e02a353b189dc828d..5f51c750c358104bf174d38b84b92b02080f5de3 100644
--- a/gpl-lgpl.tex
+++ b/gpl-lgpl.tex
@@ -3152,16 +3152,12 @@ contains provisions that are designed to reduce license incompatibility by
 making it easier for developers to combine code carrying non-GPL terms with
 GPL'd code.
 
-\subsection{GPLv3~\S7: Additional Requirements and License Compatibility}
-
-We broadened the title of section 7 because license compatibility, as it is
-conventionally understood, is only one of several facets of the placement of
-additional terms on GPL'd code.  The license compatibility issue arises for
+This license compatibility issue arises for
 three reasons.  First, the GPL is a strong copyleft license, requiring
-modified versions to be distributed under the GPL.  Second, the GPL states
+modified versions to be distributed under the GPL\@.  Second, the GPL states
 that no further restrictions may be placed on the rights of recipients.
-Third, all other free software licenses in common use contain certain
-requirements, many of which are not conditions made by the GPL.  Thus, when
+Third, all other software freedom respecting licenses in common use contain certain
+requirements, many of which are not conditions made by the GPL\@.  Thus, when
 GPL'd code is modified by combination with code covered by another formal
 license that specifies other requirements, and that modified code is then
 distributed to others, the freedom of recipients may be burdened by