diff --git a/src/api/java/FuncDecl.java b/src/api/java/FuncDecl.java
index 5909540b4..8b1ad4b44 100644
--- a/src/api/java/FuncDecl.java
+++ b/src/api/java/FuncDecl.java
@@ -60,10 +60,10 @@ public class FuncDecl extends AST
     }
 
     /**
-     * Translates (copies) the AST to the Context {@code ctx}.
+     * Translates (copies) the function declaration to the Context {@code ctx}.
      * @param ctx A context
      *
-     * @return A copy of the AST which is associated with {@code ctx}
+     * @return A copy of the function declaration which is associated with {@code ctx}
      * @throws Z3Exception on error
      **/
     public FuncDecl translate(Context ctx)