src/Tools/Graphview/layout.scala

       ((graph, false) /: level.indices) {
         case ((graph, moved), i) =>
           val r = level(i)
           val d = r.deflection(graph, top_down)
           val dx =
-            if (d < 0.0 && i > 0)
+            if (d < 0.0 && i > 0) {
               - (level(i - 1).distance(metrics, graph, r) min (- d))
-            else if (d >= 0.0 && i < level.length - 1)
+            }
+            else if (d >= 0.0 && i < level.length - 1) {
               r.distance(metrics, graph, level(i + 1)) min d
+            }
             else d
           (r.move(graph, dx), moved || d != 0.0)
       }
     }