diff --git a/src/api/dotnet/Context.cs b/src/api/dotnet/Context.cs
index 4c46d0a95..8ea4d70bc 100644
--- a/src/api/dotnet/Context.cs
+++ b/src/api/dotnet/Context.cs
@@ -2691,7 +2691,8 @@ namespace Microsoft.Z3
             Debug.Assert(i != null);
             Debug.Assert(a != null);
             Debug.Assert(s != null);
-            CheckContextMatch(f, i, a, s);
+            CheckContextMatch(f, i, a);
+            CheckContextMatch(s, a);
             return Expr.Create(this, Native.Z3_mk_seq_foldli(nCtx, f.NativeObject, i.NativeObject, a.NativeObject, s.NativeObject));
         }