diff --git a/pep-0544.txt b/pep-0544.txt
index f547e2e46ac..4419083fc9d 100644
--- a/pep-0544.txt
+++ b/pep-0544.txt
@@ -770,7 +770,7 @@ A class object is considered an implementation of a protocol if accessing
 all members on it results in types compatible with the protocol members.
 For example::
 
-  from typing import Any, Protocol
+  from typing import Any, Protocol, Type
 
   class ProtoA(Protocol):
       def meth(self, x: int) -> int: ...
@@ -780,8 +780,8 @@ For example::
   class C:
       def meth(self, x: int) -> int: ...
 
-  a: ProtoA = C  # Type check error, signatures don't match!
-  b: ProtoB = C  # OK
+  a: Type[ProtoA] = C  # OK
+  b: Type[ProtoB] = C  # Type check error, signatures don't match!
 
 
 ``NewType()`` and type aliases