diff --git a/booster/library/Booster/JsonRpc.hs b/booster/library/Booster/JsonRpc.hs
index 4e20b2c42e..3620a12bf0 100644
--- a/booster/library/Booster/JsonRpc.hs
+++ b/booster/library/Booster/JsonRpc.hs
@@ -166,7 +166,7 @@ respond stateVar request =
 
                         case evaluatedInitialPattern of
                             (Left ApplyEquations.SideConditionFalse{}, _) -> do
-                                -- input pattern's constrains are Bottom, return Bottom
+                                -- input pattern's constraints are Bottom, return Vacuous
                                 stop <- liftIO $ getTime Monotonic
                                 pure $
                                     execResponse
diff --git a/booster/library/Booster/Pattern/ApplyEquations.hs b/booster/library/Booster/Pattern/ApplyEquations.hs
index 4a66fc3bcf..e9e8500284 100644
--- a/booster/library/Booster/Pattern/ApplyEquations.hs
+++ b/booster/library/Booster/Pattern/ApplyEquations.hs
@@ -463,7 +463,7 @@ evaluatePattern' ::
     EquationT io Pattern
 evaluatePattern' pat@Pattern{term, ceilConditions} = withPatternContext pat $ do
     solver <- (.smtSolver) <$> getConfig
-    -- check initial constraints for consistency, reporting an error if they are Bottom
+    -- check the pattern's constraints for consistency, reporting an error if they are Bottom
     withContext CtxConstraint
         . withContext CtxDetail
         . withTermContext (coerce $ collapseAndBools pat.constraints)
@@ -479,7 +479,7 @@ evaluatePattern' pat@Pattern{term, ceilConditions} = withPatternContext pat $ do
             throw . SideConditionFalse . collapseAndBools $ pat.constraints
         Left SMT.SMTSolverUnknown{} -> do
             -- unlikely case of an Unknown response to a consistency check.
-            -- What to do here? continue for now to preserver the old behaviour.
+            -- continue to preserver the old behaviour.
             withContext CtxConstraint . logWarn . Text.pack $
                 "Constraints consistency UNKNOWN: " <> show consistent
             continue
@@ -487,7 +487,7 @@ evaluatePattern' pat@Pattern{term, ceilConditions} = withPatternContext pat $ do
             -- fail hard on SMT error other than @SMT.SMTSolverUnknown@
             liftIO $ Exception.throw other
         Right True -> do
-            -- constrains are consistent, continue
+            -- constraints are consistent, continue
             continue
   where
     continue = do