diff --git a/src/bench/builtin.rs b/src/bench/builtin.rs
index c570fc8..8c19edd 100644
--- a/src/bench/builtin.rs
+++ b/src/bench/builtin.rs
@@ -76,7 +76,7 @@ where
         let report = self.report_shared();
         let solver = self.solver();
         // TODO: make this run in another thread somehow
-        Self::bench(n, report, solver, &builder);
+        Self::bench(n, report, solver, &builder)?;
         Ok(())
     }
 }
diff --git a/src/bench/mod.rs b/src/bench/mod.rs
index 4a3a8b5..f06230d 100644
--- a/src/bench/mod.rs
+++ b/src/bench/mod.rs
@@ -44,6 +44,7 @@ where
     // TODO: add some interface to get reports while the benchmark runs
     // TODO: make the benchmark optionally multithreaded
     // NOTE: This is blocking, use start to let it run in another thread
+    // FIXME: this never stops? Reports just keep getting printed
     fn bench(
         n: usize,
         report: Arc<RwLock<Report>>,