diff --git a/dll/z3.def b/dll/z3.def
index ddbc9404b..8fc69bed1 100644
--- a/dll/z3.def
+++ b/dll/z3.def
@@ -520,9 +520,9 @@ EXPORTS
 	Z3_context_to_string @520
 	Z3_statistics_to_string @521
 	Z3_get_context_assignment @522
-	Z3_mk_polynomial_manager @1
-	Z3_del_polynomial_manager @2
-	Z3_mk_zero_polynomial @3
-	Z3_polynomial_inc_ref @4
-	Z3_polynomial_dec_ref @5
-	Z3_polynomial_to_string @6
+	Z3_mk_polynomial_manager @523
+	Z3_del_polynomial_manager @524
+	Z3_mk_zero_polynomial @525
+	Z3_polynomial_inc_ref @526
+	Z3_polynomial_dec_ref @527
+	Z3_polynomial_to_string @528
diff --git a/dll/z3_dbg.def b/dll/z3_dbg.def
index 00091abd3..3965675a7 100644
--- a/dll/z3_dbg.def
+++ b/dll/z3_dbg.def
@@ -520,9 +520,9 @@ EXPORTS
 	Z3_context_to_string @520
 	Z3_statistics_to_string @521
 	Z3_get_context_assignment @522
-	Z3_mk_polynomial_manager @1
-	Z3_del_polynomial_manager @2
-	Z3_mk_zero_polynomial @3
-	Z3_polynomial_inc_ref @4
-	Z3_polynomial_dec_ref @5
-	Z3_polynomial_to_string @6
+	Z3_mk_polynomial_manager @523
+	Z3_del_polynomial_manager @524
+	Z3_mk_zero_polynomial @525
+	Z3_polynomial_inc_ref @526
+	Z3_polynomial_dec_ref @527
+	Z3_polynomial_to_string @528
diff --git a/update_api.py b/update_api.py
index f250b9163..e22cd3c5f 100644
--- a/update_api.py
+++ b/update_api.py
@@ -203,9 +203,9 @@ def mk_dll_defs():
     z3dbgdef = open('dll%sz3_dbg.def' % os.sep, 'w')
     z3def.write('LIBRARY "Z3"\nEXPORTS\n')
     z3dbgdef.write('LIBRARY "Z3_DBG"\nEXPORTS\n')
+    num = 1
     for api_file in API_FILES:
         api = open(api_file, 'r')
-        num = 1
         for line in api:
             m = pat1.match(line)
             if m: