diff --git a/cpmpy/solvers/choco.py b/cpmpy/solvers/choco.py
index 67d694dc1..382c79d07 100644
--- a/cpmpy/solvers/choco.py
+++ b/cpmpy/solvers/choco.py
@@ -86,7 +86,7 @@ def __init__(self, cpm_model=None, subsolver=None):
 
         import pychoco as chc
 
-        assert (subsolver is None)
+        assert (subsolver is None), "Choco does not support any subsolver"
 
         # initialise the native solver objects
         self.chc_model = chc.Model()
@@ -570,7 +570,7 @@ def _get_constraint(self, cpm_expr):
         # unlikely base case: True or False
         elif isinstance(cpm_expr, BoolVal):
             # Choco does not allow to post True or False. Post "certainly True or False" constraints instead
-            if cpm_expr:
+            if cpm_expr.args[0] is True:
                 return self.chc_model.arithm(self.helper_var, ">=", 0)
             else:
                 return self.chc_model.arithm(self.helper_var, "<", 0)