diff --git a/src/mapper/stringifier.py b/src/mapper/stringifier.py
index 36d30cb34bf3cac462c600be141a7398139d1c34..4c73a735bbf00c5910261fe41bb86ecc40ed54ff 100644
--- a/src/mapper/stringifier.py
+++ b/src/mapper/stringifier.py
@@ -169,7 +169,7 @@ class SimplifyingSortingStringifyMapper(StringifyMapper):
         for ch in expr.children:
             neg_prod = get_neg_product(ch)
             if neg_prod is not None:
-                negatives.append(self.rec(neg_prod, PREC_SUM))
+                negatives.append(self.rec(neg_prod, PREC_PRODUCT))
             else:
                 positives.append(self.rec(ch, PREC_SUM))