diff --git a/src/api/dotnet/Context.cs b/src/api/dotnet/Context.cs
index 7ef91f7ac..b654feb7e 100644
--- a/src/api/dotnet/Context.cs
+++ b/src/api/dotnet/Context.cs
@@ -3506,8 +3506,7 @@ namespace Microsoft.Z3
 
         /// <summary>
         /// Create a floating point NaN numeral.
-        /// </summary>
-        /// <param name="v">A string representing the value in decimal notation.</param>
+        /// </summary>        
         /// <param name="s">floating point sort.</param>        
         public FPNum MkFPNaN(FPSort s)
         {
@@ -3517,8 +3516,7 @@ namespace Microsoft.Z3
 
         /// <summary>
         /// Create a floating point Inf numeral.
-        /// </summary>
-        /// <param name="v">A string representing the value in decimal notation.</param>
+        /// </summary>        
         /// <param name="s">floating point sort.</param>   
         /// <param name="negative">indicates whether the result should be negative.</param>
         public FPNum MkFPInf(FPSort s, bool negative)
@@ -3625,6 +3623,7 @@ namespace Microsoft.Z3
         /// <summary>
         /// Floating-point square root
         /// </summary>        
+        /// <param name="rm">rounding mode term</param>        
         /// <param name="t">floating point term</param>        
         public FPExpr MkFPSqrt(FPRMExpr rm, FPExpr t) 
         {
diff --git a/src/api/dotnet/FPExpr.cs b/src/api/dotnet/FPExpr.cs
index 66b3fc10d..0bb1e4c09 100644
--- a/src/api/dotnet/FPExpr.cs
+++ b/src/api/dotnet/FPExpr.cs
@@ -30,7 +30,8 @@ namespace Microsoft.Z3
     /// </summary>
     public class FPExpr : Expr
     {
-        #region Internal        
+        #region Internal
+        /// <summary> Constructor for FPExpr </summary>
         internal protected FPExpr(Context ctx)
             : base(ctx)
         {
diff --git a/src/api/dotnet/FPRMExpr.cs b/src/api/dotnet/FPRMExpr.cs
index fa43a346a..b95816023 100644
--- a/src/api/dotnet/FPRMExpr.cs
+++ b/src/api/dotnet/FPRMExpr.cs
@@ -31,6 +31,7 @@ namespace Microsoft.Z3
     public class FPRMExpr : Expr
     {
         #region Internal
+        /// <summary> Constructor for FPRMExpr </summary>
         internal protected FPRMExpr(Context ctx)
             : base(ctx)
         {