diff --git a/ecdata/constraints.lisp b/ecdata/constraints.lisp
index 8dbb2419..417ad464 100644
--- a/ecdata/constraints.lisp
+++ b/ecdata/constraints.lisp
@@ -453,8 +453,8 @@
                                      P_x_lo
                                      P_y_hi
                                      P_y_lo
-                                     P_x_square_hi
-                                     P_x_square_lo
+                                     P_y_square_hi
+                                     P_y_square_lo
                                      P_x_cube_plus_three_hi
                                      P_x_cube_plus_three_lo)
               (callToC1MembershipEXT k
@@ -481,13 +481,13 @@
                               P_x_lo
                               P_y_hi
                               P_y_lo
-                              P_x_square_hi
-                              P_x_square_lo
+                              P_y_square_hi
+                              P_y_square_lo
                               P_x_cube_plus_three_hi
                               P_x_cube_plus_three_lo)
   (begin (callToLT k P_x_hi P_x_lo P_BN_HI P_BN_LO)
          (callToLT (+ k 1) P_y_hi P_y_lo P_BN_HI P_BN_LO)
-         (callToEQ (+ k 2) P_x_square_hi P_x_square_lo P_x_cube_plus_three_hi P_x_cube_plus_three_lo)))
+         (callToEQ (+ k 2) P_y_square_hi P_y_square_lo P_x_cube_plus_three_hi P_x_cube_plus_three_lo)))
 
 ;; Note: in the specs for simplicity we omit the last four arguments
 (defun (callToC1MembershipEXT k