diff --git a/index.html b/index.html
index ecaedd610..ba0859312 100644
--- a/index.html
+++ b/index.html
@@ -4535,7 +4535,7 @@
Verification
a conforming document (object document)
-a media type (string mediaType), including any media type parameters
+a media type (string mediaType)
zero or more warnings (array of ProblemDetails warnings)
@@ -4577,6 +4577,15 @@ Verification
+Ensure that the result.mediaType value is either
+`application/vc+ld+json` or `application/vp+ld+json` and does not contain any
+media type parameters, as defined in [[RFC6838]]. If the checks fail, set
+result.status to `false`, and add at least one MEDIA_TYPE_ERROR to
+result.errors. Other warnings and errors MAY be included
+to aid any debugging process. Return result.
+
+
Ensure that the result.document is a
conforming document. If it is not, set
result.status to `false`, remove the