diff --git a/symbolic/src/Data/Macaw/Symbolic/CrucGen.hs b/symbolic/src/Data/Macaw/Symbolic/CrucGen.hs
index f65c053e..7634f614 100644
--- a/symbolic/src/Data/Macaw/Symbolic/CrucGen.hs
+++ b/symbolic/src/Data/Macaw/Symbolic/CrucGen.hs
@@ -355,7 +355,7 @@ data MacawStmtExtension (arch :: K.Type)
     -> !(f (ToCrucibleType tp))
     -> MacawStmtExtension arch f C.UnitType
 
-  -- | Write to memory id  xonsiriob is true
+  -- | Write to memory if condition is true
   MacawCondWriteMem
     :: !(ArchAddrWidthRepr arch)
     -> !(M.MemRepr tp)