diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h
index 1b1820909..7083ae468 100644
--- a/src/api/c++/z3++.h
+++ b/src/api/c++/z3++.h
@@ -277,7 +277,7 @@ namespace z3 {
          */
         sort fpa_rounding_mode();
         /**
-           \breif Sets RoundingMode of FloatingPoints.
+           \brief Sets RoundingMode of FloatingPoints.
          */
         void set_rounding_mode(rounding_mode rm);
         /**
diff --git a/src/api/z3_optimization.h b/src/api/z3_optimization.h
index 8f9e2470c..f15d8ff9c 100644
--- a/src/api/z3_optimization.h
+++ b/src/api/z3_optimization.h
@@ -146,7 +146,7 @@ extern "C" {
     Z3_model Z3_API Z3_optimize_get_model(Z3_context c, Z3_optimize o);
 
     /**
-       \brief Retrieve the unsat core for the last #Z3_optimize_chec
+       \brief Retrieve the unsat core for the last #Z3_optimize_check
        The unsat core is a subset of the assumptions \c a.
 
        def_API('Z3_optimize_get_unsat_core', AST_VECTOR, (_in(CONTEXT), _in(OPTIMIZE)))