diff --git a/CHERICC_Fat.bsv b/CHERICC_Fat.bsv
index 699132d..a2077a9 100644
--- a/CHERICC_Fat.bsv
+++ b/CHERICC_Fat.bsv
@@ -153,7 +153,7 @@ typedef enum {Exp0, EmbeddedExp} Format deriving (Bits, Eq, FShow);
 typedef UInt#(ExpW) Exp;
 // Type for capability otype field
 typedef VnD#(Bit#(OTypeW)) CType;
-Bit#(OTypeW) otype_max = -4;
+Bit#(OTypeW) otype_max = -5;
 Bit#(OTypeW) otype_unsealed = -1;
 Bit#(OTypeW) otype_sentry   = -2;