diff --git a/model/riscv_insts_zicboz.sail b/model/riscv_insts_zicboz.sail
index d2aeb24cf..768ccfa76 100644
--- a/model/riscv_insts_zicboz.sail
+++ b/model/riscv_insts_zicboz.sail
@@ -29,8 +29,6 @@ function clause execute(RISCV_ZICBOZ(rs1)) = {
     // is aligned to the cache block, or negative if rs1 is misaligned.
     let offset = (rs1_val & ~(zero_extend(ones(cache_block_size_exp)))) - rs1_val;
 
-    // TODO: This is not correct since CHERI treats CBO operations
-    // differently to normal accesses with respect to bounds checks.
     match ext_data_get_addr(rs1, offset, Write(Data), cache_block_size) {
       Ext_DataAddr_Error(e) => { ext_handle_data_check_error(e); RETIRE_FAIL },
       Ext_DataAddr_OK(vaddr) => {