diff --git a/src/api/z3_api.h b/src/api/z3_api.h
index 1abde8074..87750fa83 100644
--- a/src/api/z3_api.h
+++ b/src/api/z3_api.h
@@ -3891,7 +3891,7 @@ extern "C" {
     /**
        \brief Return the symbol name.
 
-       \pre Z3_get_symbol_string(s) == Z3_STRING_SYMBOL
+       \pre Z3_get_symbol_kind(s) == Z3_STRING_SYMBOL
 
        \warning The returned buffer is statically allocated by Z3. It will
        be automatically deallocated when #Z3_del_context is invoked.