diff --git a/sw/device/cheriot/soundstream/ml_top.cc b/sw/device/cheriot/soundstream/ml_top.cc
index 270e9e7..2e57a71 100644
--- a/sw/device/cheriot/soundstream/ml_top.cc
+++ b/sw/device/cheriot/soundstream/ml_top.cc
@@ -84,10 +84,10 @@
   EventWaiterSource events[2];
   const uint32_t* mlTopFinishFutex =
       interrupt_futex_get(STATIC_SEALED_VALUE(mlTopFinishInterruptCapability));
-  events[0] = {(void*)mlTopFinishFutex, EventWaiterFutex, *mlTopFinishFutex};
+  events[0] = {(void*)mlTopFinishFutex, *mlTopFinishFutex};
   const uint32_t* mlTopFaultFutex =
       interrupt_futex_get(STATIC_SEALED_VALUE(mlTopFaultInterruptCapability));
-  events[1] = {(void*)mlTopFaultFutex, EventWaiterFutex, *mlTopFaultFutex};
+  events[1] = {(void*)mlTopFaultFutex, *mlTopFaultFutex};
 
   for (;;) {
     Debug::Assert(multiwaiter_wait(&unlimited, mw, events, 2) == 0, "multiwaiter_wait");