Index: src/Concurrency/Waitfor.cc
===================================================================
--- src/Concurrency/Waitfor.cc	(revision 2db79e570c15d201eae79cb4c2e21c234c6c3524)
+++ src/Concurrency/Waitfor.cc	(revision d2d50d79623ddb1e9f3a2454fca4c1026c618cf6)
@@ -507,6 +507,8 @@
 			new ListInit({
 				new SingleInit( new AddressExpr( new VariableExpr( index ) ) ),
-				new SingleInit( new VariableExpr( acceptables ) ),
-				new SingleInit( new ConstantExpr( Constant::from_ulong( count ) ) )
+				new ListInit({
+					new SingleInit( new VariableExpr( acceptables ) ),
+					new SingleInit( new ConstantExpr( Constant::from_ulong( count ) ) )
+				})
 			})
 		);