diff --git a/black-hole/black-hole.mzn b/black-hole/black-hole.mzn
index ec351f5..6d90e02 100644
--- a/black-hole/black-hole.mzn
+++ b/black-hole/black-hole.mzn
@@ -91,7 +91,7 @@ constraint x[1] == 1;
 
 % Consecutive cards match
 predicate adjacent(var 1..52: a, var 1..52: b) :: presolve(autotable)
-= ((x-y) in {13*i+1 | i in -4..3} union {13*i-1 | i in -3..4}) :: domain;
+= ((a-b) in {13*i+1 | i in -4..3} union {13*i-1 | i in -3..4}) :: domain;
 
 constraint forall(i in 1..51) ( adjacent(x[i], x[i+1]) );
 
diff --git a/handball/handball9.mzn b/handball/handball9.mzn
index 59e4d2e..29576fa 100644
--- a/handball/handball9.mzn
+++ b/handball/handball9.mzn
@@ -228,7 +228,7 @@ constraint
     );
 
 % channel break <---> hap (2)
-predicate channel_break_hap(var breakable: bt, array[period] of var A..H: hapt, var team: t) :: presolve(presolve(model)) =
+predicate channel_break_hap(var breakable: bt, array[period] of var A..H: hapt, var team: t) :: presolve(autotable(model)) =
     bt in breakable /\
     (t in north_team -> hapt[(t mod divsize)+1] = A) /\
     (t in south_team -> hapt[(t mod divsize)+1] = H) /\