diff --git a/src/bin-lib/dune b/src/bin-lib/dune
index 038f7b73..cd2c5b02 100644
--- a/src/bin-lib/dune
+++ b/src/bin-lib/dune
@@ -2,11 +2,15 @@
  (name sidekick_bin_lib)
  (public_name sidekick-bin.lib)
  (synopsis "Utils for the sidekick binaries")
- (libraries containers sidekick.util
-            (select trace_setup.ml from
-              (trace-fuchsia -> trace_setup.fuchsia.ml)
-              (trace-tef -> trace_setup.tef.ml)
-              (-> trace_setup.dummy.ml)))
+ (libraries
+  containers
+  sidekick.util
+  (select
+   trace_setup.ml
+   from
+   (trace-fuchsia -> trace_setup.fuchsia.ml)
+   (trace-tef -> trace_setup.tef.ml)
+   (-> trace_setup.dummy.ml)))
  (flags :standard -warn-error -a+8 -open Sidekick_util))
 
 (ocamllex
diff --git a/src/checker/dune b/src/checker/dune
index 3be7dcee..cebcca66 100644
--- a/src/checker/dune
+++ b/src/checker/dune
@@ -2,6 +2,5 @@
  (name main)
  (public_name sidekick-checker)
  (package sidekick-bin)
- (libraries containers sidekick-bin.lib sidekick.util
-   sidekick.drup)
+ (libraries containers sidekick-bin.lib sidekick.util sidekick.drup)
  (flags :standard -warn-error -a+8 -open Sidekick_util))
diff --git a/src/main/dune b/src/main/dune
index ded0b3a3..aa75b3ba 100644
--- a/src/main/dune
+++ b/src/main/dune
@@ -7,8 +7,8 @@
  (modules main pure_sat_solver)
  (modes native)
  (libraries containers iter result sidekick.sat sidekick.core sidekick-base
-   sidekick.smt-solver sidekick-base.smtlib sidekick.drup
-   sidekick.memtrace sidekick-bin.lib)
+   sidekick.smt-solver sidekick-base.smtlib sidekick.drup sidekick.memtrace
+   sidekick-bin.lib)
  (flags :standard -safe-string -color always -open Sidekick_util))
 
 (executable