diff --git a/src/api/dotnet/NativeContext.cs b/src/api/dotnet/NativeContext.cs
index 9f285ec84dc..93180e5830b 100644
--- a/src/api/dotnet/NativeContext.cs
+++ b/src/api/dotnet/NativeContext.cs
@@ -1341,13 +1341,13 @@ internal void InitContext()
 
         #region Tracing
         /// <summary>
-        /// Enable tracint to file
+        /// Enable trace to file
         /// </summary>
-        /// <param name="file"></param>
-        public void TraceToFile(string file)
+        /// <param name="tag">Tag to trace</param>
+        public static void EnableTrace(string tag)
         {
-            Debug.Assert(!string.IsNullOrEmpty(file));
-            Native.Z3_enable_trace(file);
+            Debug.Assert(!string.IsNullOrEmpty(tag));
+            Native.Z3_enable_trace(tag);
         }
 
         #endregion