@@ -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.