diff --git a/src/main/scala/leon/plugin/AnalysisComponent.scala b/src/main/scala/leon/plugin/AnalysisComponent.scala
index 2d2ea4143433a0d99b311dfff41e17dfb8a95294..06911caee34968625f40610c4c66fe5773e7fd0b 100644
--- a/src/main/scala/leon/plugin/AnalysisComponent.scala
+++ b/src/main/scala/leon/plugin/AnalysisComponent.scala
@@ -50,12 +50,13 @@ class AnalysisComponent(val global: Global, val leonReporter: Reporter, val plug
           Nil
         }
       ,
-        if (Settings.synthesis)
+        if (Settings.synthesis) {
           List(
             SynthesisPhase
           )
-        else
+        } else {
           Nil
+        }
       ,
         if (!Settings.stopAfterTransformation) {
           List(