diff --git a/QP_solver/examples/QP_solver/infeasibility_certificate.cpp b/QP_solver/examples/QP_solver/infeasibility_certificate.cpp
index 72f3f95e60b..c0be0a566fe 100644
--- a/QP_solver/examples/QP_solver/infeasibility_certificate.cpp
+++ b/QP_solver/examples/QP_solver/infeasibility_certificate.cpp
@@ -56,13 +56,13 @@ int main() {
   Solution::Infeasibility_certificate_iterator y = 
     s.infeasibility_certificate_begin();
   // check y >= 0
-  assert (y[0] >= 0);
-  assert (y[1] >= 0);
+  assert (ET(y[0]) >= 0);
+  assert (ET(y[1]) >= 0);
   // check y^T A >= 0
-  assert (y[0] * A[0][0] + y[1] * A[0][1] >= 0);
-  assert (y[0] * A[1][0] + y[1] * A[1][1] >= 0);
+  assert (ET(y[0]) * A[0][0] + ET(y[1]) * A[0][1] >= 0);
+  assert (ET(y[0]) * A[1][0] + ET(y[1]) * A[1][1] >= 0);
   // check y^T b < 0
-  assert (y[0] * b[0] + y[1] * b[1] < 0);
+  assert (ET(y[0]) * b[0] + ET(y[1]) * b[1] < 0);
 
   return 0;
 }
diff --git a/QP_solver/examples/QP_solver/unboundedness_certificate.cpp b/QP_solver/examples/QP_solver/unboundedness_certificate.cpp
index 53e855e7926..2dd3a33ba5a 100644
--- a/QP_solver/examples/QP_solver/unboundedness_certificate.cpp
+++ b/QP_solver/examples/QP_solver/unboundedness_certificate.cpp
@@ -63,13 +63,13 @@ int main() {
   Solution::Unboundedness_certificate_iterator w =
     s.unboundedness_certificate_begin();
   // check w >= 0
-  assert (w[0] >= 0);
-  assert (w[1] >= 0);
+  assert (ET(w[0]) >= 0);
+  assert (ET(w[1]) >= 0);
   // check A w <= 0
-  assert (A[0][0] * w[0] + A[1][0] * w[1] <= 0);
-  assert (A[0][1] * w[0] + A[1][1] * w[1] <= 0);
+  assert (A[0][0] * ET(w[0]) + A[1][0] * ET(w[1]) <= 0);
+  assert (A[0][1] * ET(w[0]) + A[1][1] * ET(w[1]) <= 0);
   // check c^T w < 0
-  assert (c[0] * w[0] + c[1] * w[1] < 0);
+  assert (c[0] * ET(w[0]) + c[1] * ET(w[1]) < 0);
 
   return 0;
 }