diff --git a/src/api/dotnet/NativeModel.cs b/src/api/dotnet/NativeModel.cs
index fc4205774..cfe5c691b 100644
--- a/src/api/dotnet/NativeModel.cs
+++ b/src/api/dotnet/NativeModel.cs
@@ -250,8 +250,14 @@ namespace Microsoft.Z3
             /// </summary>
             public Z3_ast Else;
 
+            /// <summary>
+            /// Updates.Keys
+            /// </summary>
             public Z3_ast[] Domain;
 
+            /// <summary>
+            /// Updates.Range
+            /// </summary>
             public Z3_ast[] Range;
         }