diff --git a/src/api/dotnet/Z3Object.cs b/src/api/dotnet/Z3Object.cs
index d385d9d62..432885b66 100644
--- a/src/api/dotnet/Z3Object.cs
+++ b/src/api/dotnet/Z3Object.cs
@@ -113,7 +113,10 @@ namespace Microsoft.Z3
             return s.NativeObject;
         }
 
-	public Context Context
+        /// <summary>
+        /// Access Context object 
+        /// </summary>
+	    public Context Context
         {
             get 
             {