diff --git a/gpl-lgpl.tex b/gpl-lgpl.tex
index a44f582c8fbbcfe792a49452a4e9878b4889740a..78a6a45cb0b6ba984d1c0a0aa006ccda17885c59 100644
--- a/gpl-lgpl.tex
+++ b/gpl-lgpl.tex
@@ -3319,7 +3319,7 @@ labeling what is demonstrably a consumer product in ways that suggest it is
 
 \label{GPLv3-installation-information}
 
-With the User Products definition complete,  The ``Installation Information''
+With the User Products definition complete, the ``Installation Information''
 definition uses that to define what those receiving object code inside a User
 Product must receive.
 
