From 9a9913b344a297d2c4b27ba79d8d79a682ae6755 Mon Sep 17 00:00:00 2001
From: Franz Fuchs <franz.fuchs@cl.cam.ac.uk>
Date: Fri, 6 Dec 2024 11:20:18 +0000
Subject: [PATCH] Did spell checking on level-ext chapter

---
 src/level-ext.adoc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/level-ext.adoc b/src/level-ext.adoc
index 6375acb5..dd043996 100644
--- a/src/level-ext.adoc
+++ b/src/level-ext.adoc
@@ -137,7 +137,7 @@ NOTE: if W=0 or C=0 then SL is irrelevant
 
 [#section_ext_cheri_multiple_levels]
 === Extending {cheri_levels_ext_name} to more than two levels
-When `LVLBITS>1`, the behaviour of <<ACPERM>> can no longer use masking to adjust the <<section_cap_level>> or <<sl_perm>>, but instead must perform an integer minimum operation on those `LVLBITS`-wide fields.
+When `LVLBITS>1`, the behavior of <<ACPERM>> can no longer use masking to adjust the <<section_cap_level>> or <<sl_perm>>, but instead must perform an integer minimum operation on those `LVLBITS`-wide fields.
 The <<section_cap_level,CL>> field of the resulting capability is set to `min(rs2[CL], cs1[CL])`  (equivalent to `rs2[CL] & cs1[CL]` for `LVLBITS=1`).
 Similarly, <<sl_perm>> is set to `min(rs2[SL], cs1[SL])` (equivalent to `rs2[SL] & cs1[SL]` for `LVLBITS=1`).