@@ -3672,7 +3672,7 @@ do not attack the users of those programs.
It is generally understood that GPLv2 implies some limits on a licensee's
power to assert patent claims against the use of GPL-covered works.
However, the patent licensing practices that GPLv2~\S7 (corresponding to
However, the patent licensing practice that GPLv2~\S7 (corresponding to
GPLv3~\S12) is designed to prevent is only one of several ways in which
software patents threaten to make free programs non-free and to prevent users
from exercising their rights under the GPL. GPLv3 takes a more comprehensive