diff --git a/model/riscv_types.sail b/model/riscv_types.sail
index 0e23d63d1..59172cf2e 100644
--- a/model/riscv_types.sail
+++ b/model/riscv_types.sail
@@ -246,7 +246,7 @@ function exceptionType_to_str(e) =
     E_Breakpoint()         => "breakpoint",
     E_Load_Addr_Align()    => "misaligned-load",
     E_Load_Access_Fault()  => "load-access-fault",
-    E_SAMO_Addr_Align()    => "misaliged-store/amo",
+    E_SAMO_Addr_Align()    => "misaligned-store/amo",
     E_SAMO_Access_Fault()  => "store/amo-access-fault",
     E_U_EnvCall()          => "u-call",
     E_S_EnvCall()          => "s-call",