diff --git a/src/api/java/Context.java b/src/api/java/Context.java
index 815de26b9..06e4a0f60 100644
--- a/src/api/java/Context.java
+++ b/src/api/java/Context.java
@@ -506,7 +506,7 @@ public class Context implements AutoCloseable {
 	checkContextMatch(args);
 	checkContextMatch(body);
 	long[] argsNative = AST.arrayToNative(args);
-	Native.addRecDef(nCtx(), f.getNativeObject(), (uint)args.Length, argsNative, body.getNativeObject());
+	Native.addRecDef(nCtx(), f.getNativeObject(), args.length, argsNative, body.getNativeObject());
     }	
 
     /**
diff --git a/src/api/java/FuncDecl.java b/src/api/java/FuncDecl.java
index 124c13864..8a19427bf 100644
--- a/src/api/java/FuncDecl.java
+++ b/src/api/java/FuncDecl.java
@@ -342,7 +342,7 @@ public class FuncDecl extends AST
                 range.getNativeObject()));
     }
 
-    FuncDecl(Context ctx, Symbol name, Sort[] domain, Sort range, bool is_rec)
+    FuncDecl(Context ctx, Symbol name, Sort[] domain, Sort range, boolean is_rec)
     {
         super(ctx, Native.mkRecFuncDecl(ctx.nCtx(), name.getNativeObject(),
                 AST.arrayLength(domain), AST.arrayToNative(domain),