diff --git a/blockhash/constraints.lisp b/blockhash/constraints.lisp
index 74b010c5..0acbe5ea 100644
--- a/blockhash/constraints.lisp
+++ b/blockhash/constraints.lisp
@@ -57,7 +57,7 @@
                              (begin
                                (vanishes!                CT)
                                (vanishes!                (next    PRPRC))
-                               (debug      (vanishes!    (next    CT)))
+                               (vanishes!                (next    CT))
                                (debug      (vanishes!    macro/BLOCKHASH_ARG_HI))
                                (debug      (vanishes!    macro/BLOCKHASH_ARG_LO))
                                (debug      (vanishes!    macro/BLOCKHASH_VAL_HI))