diff --git a/src/api/z3_api.h b/src/api/z3_api.h
index ab570581b..2b46127fa 100644
--- a/src/api/z3_api.h
+++ b/src/api/z3_api.h
@@ -80,7 +80,7 @@ DEFINE_TYPE(Z3_rcf_num);
 */
 
 /**
-   \brief Z3 Boolean type. It is just an alias for \c int.
+   \brief Z3 Boolean type. It is just an alias for \c bool.
 */
 typedef bool Z3_bool;