diff --git a/src/api/api_fpa.cpp b/src/api/api_fpa.cpp
index 2d4529309..86166a5cf 100644
--- a/src/api/api_fpa.cpp
+++ b/src/api/api_fpa.cpp
@@ -773,9 +773,9 @@ extern "C" {
         Z3_CATCH_RETURN(0);
     }
 
-    Z3_ast Z3_API Z3_mk_fpa_to_fp_real_int(Z3_context c, Z3_ast rm, Z3_ast sig, Z3_ast exp, Z3_sort s) {
+    Z3_ast Z3_API Z3_mk_fpa_to_fp_int_real(Z3_context c, Z3_ast rm, Z3_ast exp, Z3_ast sig, Z3_sort s) {
         Z3_TRY;
-        LOG_Z3_mk_fpa_to_fp_real_int(c, rm, sig, exp, s);
+        LOG_Z3_mk_fpa_to_fp_int_real(c, rm, exp, sig, s);
         RESET_ERROR_CODE();
         api::context * ctx = mk_c(c);
         fpa_util & fu = ctx->fpautil();
diff --git a/src/api/dotnet/Context.cs b/src/api/dotnet/Context.cs
index 96999d2d9..65ec87bc6 100644
--- a/src/api/dotnet/Context.cs
+++ b/src/api/dotnet/Context.cs
@@ -4227,13 +4227,13 @@ namespace Microsoft.Z3
         /// according to rounding mode rm.
         /// </remarks>
         /// <param name="rm">RoundingMode term.</param>
-        /// <param name="sig">Significand term of Real sort.</param>
         /// <param name="exp">Exponent term of Int sort.</param>
+        /// <param name="sig">Significand term of Real sort.</param>        
         /// <param name="s">FloatingPoint sort.</param>
-        public BitVecExpr MkFPToFP(FPRMExpr rm, RealExpr sig, IntExpr exp, FPSort s)
+        public BitVecExpr MkFPToFP(FPRMExpr rm, IntExpr exp, RealExpr sig, FPSort s)
         {
             Contract.Ensures(Contract.Result<BitVecExpr>() != null);
-            return new BitVecExpr(this, Native.Z3_mk_fpa_to_fp_real_int(this.nCtx, rm.NativeObject, sig.NativeObject, exp.NativeObject, s.NativeObject));
+            return new BitVecExpr(this, Native.Z3_mk_fpa_to_fp_int_real(this.nCtx, rm.NativeObject, exp.NativeObject, sig.NativeObject, s.NativeObject));
         }
         #endregion
         #endregion // Floating-point Arithmetic
diff --git a/src/api/java/Context.java b/src/api/java/Context.java
index baa84f60a..294826f55 100644
--- a/src/api/java/Context.java
+++ b/src/api/java/Context.java
@@ -3542,8 +3542,8 @@ public class Context extends IDisposable
     /**
      * Conversion of a real-sorted significand and an integer-sorted exponent into a term of FloatingPoint sort.
      * @param rm RoundingMode term.
-     * @param sig Significand term of Real sort.
      * @param exp Exponent term of Int sort.
+     * @param sig Significand term of Real sort.
      * @param s FloatingPoint sort.
      * Remarks:
      * Produces a term that represents the conversion of sig * 2^exp into a 
@@ -3552,9 +3552,9 @@ public class Context extends IDisposable
      * @throws Z3Exception 
      **/
          
-    public BitVecExpr mkFPToFP(FPRMExpr rm, RealExpr sig, IntExpr exp, FPSort s) throws Z3Exception
+    public BitVecExpr mkFPToFP(FPRMExpr rm, IntExpr exp, RealExpr sig, FPSort s) throws Z3Exception
     {
-        return new BitVecExpr(this, Native.mkFpaToFpRealInt(nCtx(), rm.getNativeObject(), sig.getNativeObject(), exp.getNativeObject(), s.getNativeObject()));
+        return new BitVecExpr(this, Native.mkFpaToFpIntReal(nCtx(), rm.getNativeObject(), exp.getNativeObject(), sig.getNativeObject(), s.getNativeObject()));
     }
     
     
diff --git a/src/api/z3_fpa.h b/src/api/z3_fpa.h
index 275c30fe0..ca5ffebf7 100644
--- a/src/api/z3_fpa.h
+++ b/src/api/z3_fpa.h
@@ -501,10 +501,10 @@ extern "C" {
         t1, t2 must have the same FloatingPoint sort.
 
         def_API('Z3_mk_fpa_min', AST, (_in(CONTEXT),_in(AST),_in(AST)))
-        */
-        Z3_ast Z3_API Z3_mk_fpa_min(__in Z3_context c, __in Z3_ast t1, __in Z3_ast t2);
+    */
+    Z3_ast Z3_API Z3_mk_fpa_min(__in Z3_context c, __in Z3_ast t1, __in Z3_ast t2);
 
-        /**
+    /**
         \brief Maximum of floating-point numbers.
 
         \param c logical context
@@ -905,15 +905,15 @@ extern "C" {
 
         \param c logical context     
         \param rm term of RoundingMode sort
-        \param sig significand term of Real sort
         \param exp exponent term of Int sort
+        \param sig significand term of Real sort        
         \param s FloatingPoint sort
 
-        s must be a FloatingPoint sort, rm must be of RoundingMode sort, t must be of real sort.
+        s must be a FloatingPoint sort, rm must be of RoundingMode sort, exp must be of int sort, sig must be of real sort.
 
-        def_API('Z3_mk_fpa_to_fp_real_int', AST, (_in(CONTEXT),_in(AST),_in(AST),_in(AST),_in(SORT)))
+        def_API('Z3_mk_fpa_to_fp_int_real', AST, (_in(CONTEXT),_in(AST),_in(AST),_in(AST),_in(SORT)))
     */
-    Z3_ast Z3_API Z3_mk_fpa_to_fp_real_int(__in Z3_context c, __in Z3_ast rm, __in Z3_ast sig, __in Z3_ast exp, __in Z3_sort s);
+    Z3_ast Z3_API Z3_mk_fpa_to_fp_int_real(__in Z3_context c, __in Z3_ast rm, __in Z3_ast exp, __in Z3_ast sig, __in Z3_sort s);
 
     /*@}*/