diff --git a/src/api/java/Optimize.java b/src/api/java/Optimize.java
index a91e2a573..ae50d7f33 100644
--- a/src/api/java/Optimize.java
+++ b/src/api/java/Optimize.java
@@ -168,7 +168,7 @@ public class Optimize extends Z3Object {
           r = Z3_lbool.fromInt(
               Native.optimizeCheck(
                   getContext().nCtx(), 
-                  getNativeObject(), 0, null);
+                  getNativeObject(), 0, null));
         }
         else {
           r = Z3_lbool.fromInt(