diff --git a/model/riscv_insts_aext.sail b/model/riscv_insts_aext.sail
index 5eb48a433..e9edaec23 100644
--- a/model/riscv_insts_aext.sail
+++ b/model/riscv_insts_aext.sail
@@ -298,7 +298,6 @@ function clause execute (AMO(op, aq, rl, rs2, rs1, width, rd)) = {
   if haveAtomics() then {
     /* Get the address, X(rs1) (no offset).
      * Some extensions perform additional checks on address validity.
-     * For obtaining virtual address, the width is not needed.
      */
     match ext_data_get_amo_addr(rs1, ReadWrite(Data, Data), width) {
       Ext_DataAddr_Error(e)  => { ext_handle_data_check_error(e); RETIRE_FAIL },