diff --git a/src/api/java/Params.java b/src/api/java/Params.java
index 3bc8b4574..c954c50e5 100644
--- a/src/api/java/Params.java
+++ b/src/api/java/Params.java
@@ -44,8 +44,8 @@ public class Params extends Z3Object
      **/
     public void Add(String name, boolean value) throws Z3Exception
     {
-        Native.paramsSetBool(Context().nCtx(), NativeObject(), Context()
-                .MkSymbol(name).NativeObject(), (value) ? true : false);
+        Native.paramsSetBool(Context().nCtx(), NativeObject(), 
+                Context().MkSymbol(name).NativeObject(), value);
     }
 
     /**