diff --git a/gpl-lgpl.tex b/gpl-lgpl.tex
index b51f2ac30727ca6b31eb92ca8502463417905c7a..d91a36b25142f81bd66505deecc8c15849baf9de 100644
--- a/gpl-lgpl.tex
+++ b/gpl-lgpl.tex
@@ -3936,8 +3936,8 @@ protection is automatically extended to everyone who receives the software,
 no matter how they get it. 
 
 Second, GPLv3~\S11\P7
-prohibit anyone who made such an agreement from distributing software
-released under GPLv3.    Conveyors are prohibited from
+prohibits anyone who made such an agreement from distributing software
+released under GPLv3.  Conveyors are prohibited from
 distributing software under GPLv3 if the conveyor makes an agreement of that
 nature in the future.