diff --git a/index.html b/index.html
index 32f7dbc..3779ee6 100644
--- a/index.html
+++ b/index.html
@@ -1273,11 +1273,11 @@
Types of ProblemDetails
Verification Response
Errors and Warnings
- Errors are `ProblemDetails` relating to cryptography, data model and malformed context.
+ Errors are `ProblemDetails` relating to cryptography, data model, and malformed context.
Warnings are `ProblemDetails` relating to statuses and validity periods.
- The `VerificationResponse` object MUST have the `verified` value set to `false` if an error is included.
- The `VerificationResponse` object MUST have the `verified` value set to `true` if no errors are included.
+ If an error is included, the `verified` property of the `VerificationResponse` object
+ MUST be set to `false`; if no errors are included, it MUST be set to `true`.