diff --git a/src/main/scala/leon/genc/CPrinter.scala b/src/main/scala/leon/genc/CPrinter.scala
index 58e9d65147e6018f302b747fa49f1a637d57ede3..eec404f0c5283bbf09e56dbe79e8335286f61ae6 100644
--- a/src/main/scala/leon/genc/CPrinter.scala
+++ b/src/main/scala/leon/genc/CPrinter.scala
@@ -105,8 +105,9 @@ class CPrinter(val sb: StringBuffer = new StringBuffer) {
     case Assign(lhs, rhs) =>
       c"$lhs = $rhs;"
 
-    case UnOp(op, rhs) => c"($op $rhs)"
-    case MultiOp(op, stmts) => c"""${nary(stmts, sep = s" ${op.fixMargin} ")}"""
+    case UnOp(op, rhs) => c"($op$rhs)"
+    case MultiOp(op, stmts) => c"""${nary(stmts, sep = s" ${op.fixMargin} ",
+                                          opening = "(", closing = ")")}"""
     case SubscriptOp(ptr, idx) => c"$ptr[$idx]"
 
     case Break => c"break;"