diff --git a/apps/benchmark/src/benchmark.cpp b/apps/benchmark/src/benchmark.cpp
index b85c2e40..9b98ac7e 100644
--- a/apps/benchmark/src/benchmark.cpp
+++ b/apps/benchmark/src/benchmark.cpp
@@ -10,7 +10,7 @@
#include "rtbot/Output.h"
#include "rtbot/Program.h"
#include "rtbot/bindings.h"
-#include "rtbot/std/MathSyncBinaryOp.h"
+#include "rtbot/std/ArithmeticSync.h"
#include "rtbot/std/MovingAverage.h"
#include "rtbot/std/PeakDetector.h"
#include "tools.h"
@@ -157,7 +157,7 @@ class PPGPipelineBenchmark {
p.input = std::make_shared("i1", std::vector{PortType::NUMBER});
p.ma_short = std::make_shared("ma1", short_window_);
p.ma_long = std::make_shared("ma2", long_window_);
- p.minus = std::make_shared("diff");
+ p.minus = std::make_shared("diff", 2);
p.peak = std::make_shared("peak", 2 * short_window_ + 1);
p.join = std::make_shared("join", std::vector{PortType::NUMBER, PortType::NUMBER});
p.output = std::make_shared