diff --git a/circuits/binsub.circom b/circuits/binsub.circom
index a20fbf81..6ffae197 100644
--- a/circuits/binsub.circom
+++ b/circuits/binsub.circom
@@ -26,11 +26,11 @@ Main Constraint:
  +  2^n
  - (in[1][0]     * 2^0  +  in[1][1]     * 2^1  + ..... + in[1][n-1]    * 2^(n-1))
  ===
-   out[0] * 2^0  + out[1] * 2^1 +   + out[n-1] *2^(n-1) + aux
+   out[0] * 2^0  + out[1] * 2^1 +   + out[n-1] *2^(n-1) + aux * 2^n
 
 
     out[0]     * (out[0] - 1) === 0
-    out[1]     * (out[0] - 1) === 0
+    out[1]     * (out[1] - 1) === 0
     .
     .
     .