diff --git a/src/halmos/bytevec.py b/src/halmos/bytevec.py
index 2b30f04e..872735a0 100644
--- a/src/halmos/bytevec.py
+++ b/src/halmos/bytevec.py
@@ -613,7 +613,7 @@ def set_word(self, offset: int, value: Word) -> None:
 
     def concretize(self, substitution: dict[BitVecRef, BitVecRef]) -> None:
         """
-        Replace all symbols in the chunks with their corresponding concrete values, if they exist in the given substituion mapping.
+        Replace all symbols in the chunks with their corresponding concrete values, if they exist in the given substitution mapping.
         """
         for offset, chunk in self.chunks.items():
             chunk_data = chunk.data