diff --git a/macaw-x86-cli/src/Data/Macaw/X86/Symbolic/CLI.hs b/macaw-x86-cli/src/Data/Macaw/X86/Symbolic/CLI.hs
index c49d182c..84a652de 100644
--- a/macaw-x86-cli/src/Data/Macaw/X86/Symbolic/CLI.hs
+++ b/macaw-x86-cli/src/Data/Macaw/X86/Symbolic/CLI.hs
@@ -71,7 +71,8 @@ withX86Hooks k = do
             LittleEndian
             DMS.ConcreteMutable
             elfMem
-        -- TOOD?
+        -- TODO: We should write this variable, but can't here. See Macaw#423
+        -- and Crucible#1240 for details.
         -- C.writeGlobal mvar initMem
         let mmConf = DMS.memModelConfig bak ptrTable
         pure (DMS.macawExtensions eFn mvar mmConf)