diff --git a/draft-ymbk-sidrops-6486bis.txt b/draft-ymbk-sidrops-6486bis.txt
index e08f9bc..0fc9dc5 100644
--- a/draft-ymbk-sidrops-6486bis.txt
+++ b/draft-ymbk-sidrops-6486bis.txt
@@ -603,7 +603,7 @@ Internet-Draft RPKI Manifests July 2020
The RP MUST check that the current time (translated to UTC) is
between thisUpdate and nextUpdate. If the current time lies within
this interval, proceed to Section 6.4. If the current time is
- earlier than thisUpdate, the CA has made an error; this a failed
+ earlier than thisUpdate, the CA has made an error; this is a failed
fetch and the RP MUST proceed to Section 6.7. If the current time is
later than nextUpdate, then the manifest is stale; this is a failed
fetch and RP MUST proceed to Section 6.7; otherwise proceed to
@@ -642,8 +642,8 @@ Internet-Draft RPKI Manifests July 2020
If a current manifest contains entries for objects that are not
within the scope of the manifest (Section 6.2), the fetch has failed
- and the RP proceed to Section 6.7; otherwise the fetch is deemed
- successful and the RP will process the fetched objects.
+ and the RP SHOULD proceed to Section 6.7; otherwise the fetch is
+ deemed successful and the RP will process the fetched objects.
6.7. Failed Fetches
@@ -655,7 +655,7 @@ Internet-Draft RPKI Manifests July 2020
for termination of processing with regard to this CA instance. It is
RECOMMENDED that a human operator be notified of this warning.
- Termination or processing means that the RP SHOULD continue to use
+ Termination of processing means that the RP SHOULD continue to use
cached versions of the objects associated with this CA instance,
until such time as they become stale or they can be replaced by
objects from a successful fetch. This implies that the RP MUST not
diff --git a/draft-ymbk-sidrops-6486bis.xml b/draft-ymbk-sidrops-6486bis.xml
index 5ff4d70..63f1682 100644
--- a/draft-ymbk-sidrops-6486bis.xml
+++ b/draft-ymbk-sidrops-6486bis.xml
@@ -694,7 +694,7 @@
between thisUpdate and nextUpdate. If the current time lies
within this interval, proceed to . If
the current time is earlier than thisUpdate, the CA has made an
- error; this a failed fetch and the RP MUST proceed to . If the current time is later than
nextUpdate, then the manifest is stale; this is a failed fetch
and RP MUST proceed to ; otherwise
@@ -735,7 +735,7 @@
If a current manifest contains entries for objects that are not
within the scope of the manifest (),
- the fetch has failed and the RP proceed to ; otherwise the fetch is deemed successful
and the RP will process the fetched objects.
@@ -755,7 +755,7 @@
- Termination or processing means that the RP SHOULD continue to
+ Termination of processing means that the RP SHOULD continue to
use cached versions of the objects associated with this CA
instance, until such time as they become stale or they can be
replaced by objects from a successful fetch. This implies that