diff --git a/docs/x509.rst b/docs/x509.rst
index fa01f04..7e84b49 100644
--- a/docs/x509.rst
+++ b/docs/x509.rst
@@ -378,7 +378,7 @@
 
         A naïve datetime representing when the this CRL was last updated.
 
-    .. attribute:: revoked
+    .. attribute:: revoked_certificates
 
         :type: list of :class:`RevokedCertificate`
 
@@ -390,9 +390,9 @@
 
         The extensions encoded in the CRL.
 
-    .. method:: verify(pubkey)
+    .. method:: verify(public_key)
 
-        :param algorithm: The
+        :param public_key: The
             :class:`~cryptography.hazmat.primitives.asymmetric.rsa.RSAPublicKey` or
             :class:`~cryptography.hazmat.primitives.asymmetric.dsa.DSAPublicKey` or
             :class:`~cryptography.hazmat.primitives.asymmetric.ec.EllipticCurvePublicKey`
diff --git a/src/cryptography/x509.py b/src/cryptography/x509.py
index 421ebfc..c4ada20 100644
--- a/src/cryptography/x509.py
+++ b/src/cryptography/x509.py
@@ -1241,7 +1241,7 @@
         """
 
     @abc.abstractproperty
-    def revoked(self):
+    def revoked_certificates(self):
         """
         Returns a list of RevokedCertificate objects for this CRL.
         """