diff --git a/src/api/java/Model.java b/src/api/java/Model.java
index 198c9918b..f7db67915 100644
--- a/src/api/java/Model.java
+++ b/src/api/java/Model.java
@@ -95,7 +95,7 @@ public class Model extends Z3Object {
                       long fd = Native.getAsArrayFuncDecl(getContext().nCtx(), n);
                       return getFuncInterp(new FuncDecl(getContext(), fd));
                     }
-                    return FuncInterp(getContext(), n);
+                    return new FuncInterp(getContext(), n);
                 }
             } else
             {