diff --git a/src/api/api_numeral.cpp b/src/api/api_numeral.cpp
index d5a25dfc2..277e80c20 100644
--- a/src/api/api_numeral.cpp
+++ b/src/api/api_numeral.cpp
@@ -68,8 +68,8 @@ extern "C" {
                 (' ' == *m) || ('\n' == *m) ||
                 ('.' == *m) || ('e' == *m) ||
                 ('E' == *m) ||
-                (('p' == *m) && is_float) ||
-                (('P' == *m)) && is_float)) {
+                ('p' == *m && is_float) ||
+                ('P' == *m && is_float))) {
                 SET_ERROR_CODE(Z3_PARSER_ERROR);
                 return 0;
             }