diff --git a/src/insns/cbo_exceptions.adoc b/src/insns/cbo_exceptions.adoc
index 5b053d82..53fe4721 100644
--- a/src/insns/cbo_exceptions.adoc
+++ b/src/insns/cbo_exceptions.adoc
@@ -1,5 +1,5 @@
 Exceptions::
-CHERI fault exceptions when the authorising capability fails one of the checks
+CHERI fault exceptions occur when the authorising capability fails one of the checks
 listed below; in this case, _CHERI data fault_ is reported in the <<mtval2>> or
 <<stval2>> TYPE field and the corresponding code is written to CAUSE.
 +
diff --git a/src/insns/hypv-virt-loadx.adoc b/src/insns/hypv-virt-loadx.adoc
index 88640f66..d35731d2 100644
--- a/src/insns/hypv-virt-loadx.adoc
+++ b/src/insns/hypv-virt-loadx.adoc
@@ -41,7 +41,7 @@ capability for the operation is <<ddc>>. A copy of the loaded value is written
 to `rd`.
 
 Exceptions::
-CHERI fault exception when the authorising capability fails one of the checks
+CHERI fault exceptions occur when the authorising capability fails one of the checks
 listed below; in this case, _CHERI data fault_ is reported in the <<mtval2>> or
 <<stval2>> TYPE field and the corresponding code is written to CAUSE.
 +
diff --git a/src/insns/load_exceptions.adoc b/src/insns/load_exceptions.adoc
index 9d8ae88d..ab197d78 100644
--- a/src/insns/load_exceptions.adoc
+++ b/src/insns/load_exceptions.adoc
@@ -8,7 +8,7 @@ Misaligned address fault exception when the effective address is not aligned
 to CLEN/8.
 +
 endif::[]
-CHERI fault exception when the authorising capability fails one of the checks
+CHERI fault exceptions occur when the authorising capability fails one of the checks
 listed below; in this case, _CHERI data fault_ is reported in the <<mtval2>> or
 <<stval2>> TYPE field and the corresponding code is written to CAUSE.
 +
diff --git a/src/insns/store_exceptions.adoc b/src/insns/store_exceptions.adoc
index 6e674561..ccec3bcf 100644
--- a/src/insns/store_exceptions.adoc
+++ b/src/insns/store_exceptions.adoc
@@ -8,7 +8,7 @@ Misaligned address fault exception when the effective address is not aligned
 to CLEN/8.
 +
 endif::[]
-CHERI fault exception when the authorising capability fails one of the checks
+CHERI fault exceptions occur when the authorising capability fails one of the checks
 listed below; in this case, _CHERI data fault_ is reported in the <<mtval2>> or
 <<stval2>> TYPE field and the corresponding code is written to CAUSE.
 +