diff --git a/src/hypervisor-integration.adoc b/src/hypervisor-integration.adoc
index 14062111..9e84649d 100644
--- a/src/hypervisor-integration.adoc
+++ b/src/hypervisor-integration.adoc
@@ -75,7 +75,7 @@ part of {cheri_base_ext_name} when the hypervisor extension is supported. Its
 CSR address is 0x64b.
 
 <<htval2>> is updated following the same rules as <<mtval2>> for CHERI exceptions,
-load page fault and store/AMO page fault exceptions which are taken in HS-mode.
+load page fault and store page fault exceptions which are taken in HS-mode.
 
 The fields are identical to <<mtval2>> for CHERI exceptions.
 
@@ -196,7 +196,7 @@ include::img/vstdcreg.edn[]
 The <<vstval>> register is a VSXLEN-bit read-write register.
 
 <<vstval>> is updated following the same rules as <<mtval>> for CHERI exceptions,
-load page fault and store/AMO page faults which are taken in VS-mode.
+load page fault and store page faults which are taken in VS-mode.
 
 .Virtual supervisor trap value register
 [#vstval-format]