diff --git a/gpl-lgpl.tex b/gpl-lgpl.tex
index 0d79e0e..d0180c1 100644
--- a/gpl-lgpl.tex
+++ b/gpl-lgpl.tex
@@ -3098,22 +3098,29 @@ GPL'd code.
 
 \subsection{Additional Permissions}
 
-% FIXME: rework and fix formatting.
-
 The GPL is a statement of permissions, some of which have conditions.
-Additional terms, terms that supplement those of the GPL, may come to be
-placed on, or removed from, GPL-covered code in certain common ways.  We
-consider those added terms ``additional permissions'' if they grant
+Additional terms --- terms that supplement those of the GPL --- may come to be
+placed on, or removed from, GPL-covered code in certain common ways.
+Copyleft licensing theorists have generally called
+ those added terms ``additional permissions'' if they grant
 exceptions from the conditions of the GPL, and ``additional requirements'' if
-they add conditions to the basic permissions of the GPL. The treatment of
+they add conditions to the basic permissions of the GPL\@. The treatment of
 additional permissions and additional requirements under GPLv3 is necessarily
-asymmetrical, because they do not raise the same ethical and interpretive
+asymmetrical, because they do not raise the same interpretive
 issues; in particular, additional requirements, if allowed without careful
-limitation, could transform a GPL'd program into a non-free one.  With these
-principles in the background, section 7 answers the following questions: (1)
-How do the presence of additional terms on all or part of a GPL'd program
-affect users' rights? (2) When and how may a licensee add terms to code being
-distributed under the GPL? (3) When may a licensee remove additional terms?
+limitation, could transform a GPL'd program into a non-free one.
+
+With these principles in the background, GPLv3~\S7  answers the following
+questions: 
+\begin{enumerate}
+\item How do the presence of additional terms on all or part of a GPL'd program
+affect users' rights?
+
+\item When and how may a licensee add terms to code being
+distributed under the GPL? 
+
+\item When may a licensee remove additional terms?
+\end{enumerate}
 
 % FIXME: FSF third person, etc.