diff --git a/src/api/z3_fixedpoint.h b/src/api/z3_fixedpoint.h
index b4c3eee49..df1f1461f 100644
--- a/src/api/z3_fixedpoint.h
+++ b/src/api/z3_fixedpoint.h
@@ -308,7 +308,7 @@ extern "C" {
 
        \param c - context.
        \param f - fixedpoint context.
-       \param s - string containing SMT2 specification.
+       \param s - path to file containing SMT2 specification.
 
        def_API('Z3_fixedpoint_from_file', AST_VECTOR, (_in(CONTEXT), _in(FIXEDPOINT), _in(STRING)))
     */
diff --git a/src/api/z3_optimization.h b/src/api/z3_optimization.h
index f15d8ff9c..b1c01a386 100644
--- a/src/api/z3_optimization.h
+++ b/src/api/z3_optimization.h
@@ -252,7 +252,7 @@ extern "C" {
 
        \param c - context.
        \param o - optimize context.
-       \param s - string containing SMT2 specification.
+       \param s - path to file containing SMT2 specification.
 
        def_API('Z3_optimize_from_file', VOID, (_in(CONTEXT), _in(OPTIMIZE), _in(STRING)))
     */