diff --git a/uc-crux-llvm/src/UCCrux/LLVM/Run/Check.hs b/uc-crux-llvm/src/UCCrux/LLVM/Run/Check.hs
index e44418edc..33bcec919 100644
--- a/uc-crux-llvm/src/UCCrux/LLVM/Run/Check.hs
+++ b/uc-crux-llvm/src/UCCrux/LLVM/Run/Check.hs
@@ -119,15 +119,15 @@ newtype CheckResult m arch (argTypes :: Ctx (FullType m)) =
         (forall sym.
          IsSymInterface sym =>
          sym ->
-         -- | Pre-simulation memory
          PreSimulationMem sym ->
-         -- | Arguments passed to the entry point
          Assignment (Shape m (SymValue sym arch)) argTypes ->
          Crux.CruxSimulationResult ->
          Sim.UCCruxSimulationResult m arch argTypes ->
          [SomeCheckedCalls m sym arch] ->
          r) ->
         r
+    -- ^ The 'PreSimulationMem sym' parameter is the Pre-simulation memory.
+    -- The 'Assignment' specifies the Arguments passed to the entry point.
     }
 
 data SomeCheckResult m arch =
diff --git a/uc-crux-llvm/src/UCCrux/LLVM/Run/Simulate.hs b/uc-crux-llvm/src/UCCrux/LLVM/Run/Simulate.hs
index b2415a0ba..11aedfc90 100644
--- a/uc-crux-llvm/src/UCCrux/LLVM/Run/Simulate.hs
+++ b/uc-crux-llvm/src/UCCrux/LLVM/Run/Simulate.hs
@@ -163,11 +163,11 @@ data UCCruxSimulationResult m arch (argTypes :: Ctx (FullType m)) = UCCruxSimula
 data SimulatorHooks sym m arch (argTypes :: Ctx (FullType m)) r =
   SimulatorHooks
     { createOverrideHooks :: [SymCreateOverrideFn sym arch]
+    -- | The 'PreSimulationMem sym' parameter is the Pre-simulation memory.
+    -- The 'Assignment' specifies the Arguments passed to the entry point.
     , resultHook ::
         sym ->
-        -- | Pre-simulation memory
         PreSimulationMem sym ->
-        -- | Arguments passed to the entry point
         Assignment (Shape m (SymValue sym arch)) argTypes ->
         Crux.CruxSimulationResult ->
         UCCruxSimulationResult m arch argTypes ->