diff --git a/pep-0612.rst b/pep-0612.rst
index 200759f7a27..57caa0a0e55 100644
--- a/pep-0612.rst
+++ b/pep-0612.rst
@@ -216,7 +216,6 @@ inheriting from ``Generic[P]`` makes a class generic on
 .. code-block::
 
    T = TypeVar("T")
-   S = TypeVar("S")
    P_2 = ParamSpec("P_2")
 
    class X(Generic[T, P]):
@@ -300,7 +299,7 @@ evaluated in the same way.
 
 .. code-block::
 
-   U = TypeVar("T")
+   U = TypeVar("U")
 
    class Y(Generic[U, P]):
      f: Callable[P, str]
@@ -577,7 +576,9 @@ Reference Implementation
 
 The `Pyre <https://pyre-check.org/>`_ type checker supports all of the behavior
 described above.  A reference implementation of the runtime components needed
-for those uses is provided in the ``pyre_extensions`` module.
+for those uses is provided in the ``pyre_extensions`` module.  A reference
+implementation for CPython can be found 
+`here <https://github.com/python/cpython/pull/23702>`_.
 
 Rejected Alternatives
 ---------------------