diff --git a/src/insns/load_16bit_fp_dp.adoc b/src/insns/load_16bit_fp_dp.adoc
index 883cd998..825d20de 100644
--- a/src/insns/load_16bit_fp_dp.adoc
+++ b/src/insns/load_16bit_fp_dp.adoc
@@ -52,10 +52,12 @@ Standard floating point stack pointer relative load instructions, authorised by
 include::load_exceptions.adoc[]
 
 Prerequisites for C.CFLD, C.CFLDSP (RV32 only)::
-{c_cheri_base_ext_names}, and Zcd or D
+{cheri_base_ext_name}, C and D; or +
+{cheri_base_ext_name}, Zca and Zcd
 
 Prerequisites for C.FLD, C.FLDSP::
-{c_cheri_legacy_ext_names}, and Zcd or D
+{cheri_base_ext_name}, C and D; or +
+{cheri_base_ext_name}, Zca and Zcd
 
 Operation (after expansion to 32-bit encodings)::
  See <<FLD>>
diff --git a/src/insns/store_16bit_fp_dp.adoc b/src/insns/store_16bit_fp_dp.adoc
index 9cf008ed..d9452091 100644
--- a/src/insns/store_16bit_fp_dp.adoc
+++ b/src/insns/store_16bit_fp_dp.adoc
@@ -52,10 +52,12 @@ Standard floating point stack pointer relative store instructions, authorised by
 include::store_exceptions.adoc[]
 
 Prerequisites for C.CFSD, C.CFSDSP (RV32 only)::
-{c_cheri_base_ext_names}, and Zcd or D
+{cheri_base_ext_name}, C and D; or +
+{cheri_base_ext_name}, Zca and Zcd
 
 Prerequisites for C.FSD, C.FSDSP::
-{c_cheri_legacy_ext_names}, and Zcd or D
+{cheri_legacy_ext_name}, C and D; or +
+{cheri_legacy_ext_name}, Zca and Zcd
 
 Operation (after expansion to 32-bit encodings)::
  See <<CFSD>>, <<FSD>>