typo

Author: tariqkurd-repo

src/insns/modesw_32bit.adoc

@@ -24,7 +24,7 @@ Set the hart's current CHERI execution mode in <<pcc>>.
 * MODESW.INT: If the current mode in <<pcc>> is {cheri_cap_mode_name} ({CAP_MODE_VALUE}), then the <<m_bit>> in <<pcc>> is set to {cheri_int_mode_name} ({INT_MODE_VALUE}). Otherwise no effect.
 
 NOTE: Implementations may optionally support executing <<MODESW_CAP>> and <<MODESW_INT>> from the
-program buffer while in debug mode. If supported them the <<m_bit>> in
+program buffer while in debug mode. If supported then the <<m_bit>> in
 <<dinfc>> is set accordingly and used to control which mode to enter next time debug
 mode is entered. The CHERI execution mode is only controlled by the <<m_bit>>
 of <<dinfc>> in debug mode.