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