diff --git a/hub/constraints/generalities/context.lisp b/hub/constraints/generalities/context.lisp
index 201d1015..3fa34fd1 100644
--- a/hub/constraints/generalities/context.lisp
+++ b/hub/constraints/generalities/context.lisp
@@ -94,7 +94,7 @@
 (defconstraint    generalities---context-numbers---imposing-CN_NEW-is-CALLER_CN---for-exceptions ()
                   (if-not-zero XAHOY (eq! CN_NEW CALLER_CN)))
 
-(defconstraint    generalities---context-numbers---imposing-CN_NEW-is-CALLER_CN---for-halting-instrutions ()
+(defconstraint    generalities---context-numbers---imposing-CN_NEW-is-CALLER_CN---for-halting-instructions ()
                   (if-not-zero PEEK_AT_STACK
                                (if-not-zero stack/HALT_FLAG
                                             (eq! CN_NEW CALLER_CN))))
diff --git a/mmu/instructions/right_padded_word_extraction.lisp b/mmu/instructions/right_padded_word_extraction.lisp
index 6181adc6..8cad970c 100644
--- a/mmu/instructions/right_padded_word_extraction.lisp
+++ b/mmu/instructions/right_padded_word_extraction.lisp
@@ -83,7 +83,7 @@
                                   0
                                   (right-padded-word-extraction---second-limb-byte-size))))
 
-(defconstraint right-padded-word-extraction---setting-micro-instrution-constant-values (:guard (* MACRO IS_RIGHT_PADDED_WORD_EXTRACTION))
+(defconstraint right-padded-word-extraction---setting-micro-instruction-constant-values (:guard (* MACRO IS_RIGHT_PADDED_WORD_EXTRACTION))
                (begin
                  (eq!       (shift micro/CN_S       NB_PP_ROWS_RIGHT_PADDED_WORD_EXTRACTION_PO) macro/SRC_ID)
                  (vanishes! (shift micro/EXO_SUM    NB_PP_ROWS_RIGHT_PADDED_WORD_EXTRACTION_PO))))