diff --git a/.gitignore b/.gitignore
index 517fd3159..2d268c988 100644
--- a/.gitignore
+++ b/.gitignore
@@ -118,3 +118,9 @@ bazel-*
 # Local issue tracking
 .beads
 .z3-agent/
+.playwright*/
+.atomic/
+.deepscan/
+.deeptest/
+tptp_test/
+tptp_benchmarks/
diff --git a/src/api/dotnet/Context.cs b/src/api/dotnet/Context.cs
index e279bb9c9..cba223f14 100644
--- a/src/api/dotnet/Context.cs
+++ b/src/api/dotnet/Context.cs
@@ -585,7 +585,7 @@ namespace Microsoft.Z3
 
         /// <summary>
         /// Create a polymorphic datatype sort with explicit type parameters.
-        /// Type parameters should be sorts created with <see cref="MkTypeVariable"/>.
+        /// Type parameters should be sorts created with <see cref="MkTypeVariable(string)"/>.
         /// </summary>
         /// <param name="name">name of the datatype sort</param>
         /// <param name="typeParams">array of type variable sorts</param>
@@ -608,7 +608,7 @@ namespace Microsoft.Z3
 
         /// <summary>
         /// Create a polymorphic datatype sort with explicit type parameters.
-        /// Type parameters should be sorts created with <see cref="MkTypeVariable"/>.
+        /// Type parameters should be sorts created with <see cref="MkTypeVariable(string)"/>.
         /// </summary>
         /// <param name="name">name of the datatype sort</param>
         /// <param name="typeParams">array of type variable sorts</param>