diff --git a/src/api/java/FPNum.java b/src/api/java/FPNum.java
index 813e82889..2995e97e4 100644
--- a/src/api/java/FPNum.java
+++ b/src/api/java/FPNum.java
@@ -27,10 +27,10 @@ public class FPNum extends FPExpr
      * @throws Z3Exception 
      */
     public boolean getSign() {
-        Native.IntPtr res = new Native.IntPtr();
+        Native.BoolPtr res = new Native.BoolPtr();
         if (!Native.fpaGetNumeralSign(getContext().nCtx(), getNativeObject(), res))
             throw new Z3Exception("Sign is not a Boolean value");
-        return res.value != 0;
+        return res.value;
     }
 
     /**
diff --git a/src/api/java/Log.java b/src/api/java/Log.java
index 7dc9a1ef1..f427c5175 100644
--- a/src/api/java/Log.java
+++ b/src/api/java/Log.java
@@ -36,7 +36,7 @@ public final class Log
     public static boolean open(String filename)
     {
         m_is_open = true;
-        return Native.openLog(filename) == 1;
+        return Native.openLog(filename);
     }
 
     /**