diff --git a/src/api/z3_api.h b/src/api/z3_api.h
index dec8f34dd..93da0b2c7 100644
--- a/src/api/z3_api.h
+++ b/src/api/z3_api.h
@@ -5350,6 +5350,7 @@ extern "C" {
     /**
        \brief Add a new formula \c a to the given goal.
         Conjunctions are split into separate formulas.
+        If the goal is \c false, adding new formulas is a no-op.
         If the formula \c a is \c true, then nothing is added.
         If the formula \c a is \c false, then the entire goal is replaced by the formula \c false.