diff --git a/src/api/dotnet/BitVecSort.cs b/src/api/dotnet/BitVecSort.cs
index 55ef4ae49..d865159f4 100644
--- a/src/api/dotnet/BitVecSort.cs
+++ b/src/api/dotnet/BitVecSort.cs
@@ -37,7 +37,6 @@ namespace Microsoft.Z3
 
         #region Internal
         internal BitVecSort(Context ctx, IntPtr obj) : base(ctx, obj) { Contract.Requires(ctx != null); }
-        internal BitVecSort(Context ctx, uint size) : base(ctx, Native.Z3_mk_bv_sort(ctx.nCtx, size)) { Contract.Requires(ctx != null); }
         #endregion
     };
 }
diff --git a/src/api/dotnet/Context.cs b/src/api/dotnet/Context.cs
index 2aea1586c..30e5ece4f 100644
--- a/src/api/dotnet/Context.cs
+++ b/src/api/dotnet/Context.cs
@@ -193,7 +193,7 @@ namespace Microsoft.Z3
         {
             Contract.Ensures(Contract.Result<BitVecSort>() != null);
 
-            return new BitVecSort(this, size);
+            return new BitVecSort(this, Native.Z3_mk_bv_sort(nCtx, size));
         }
 
         /// <summary>