diff --git a/CMakeLists.txt b/CMakeLists.txt
index c11c272be..bd3774ac7 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -34,7 +34,7 @@ endif()
 ################################################################################
 set(Z3_VERSION_MAJOR 4)
 set(Z3_VERSION_MINOR 6)
-set(Z3_VERSION_PATCH 2)
+set(Z3_VERSION_PATCH 3)
 set(Z3_VERSION_TWEAK 0)
 set(Z3_VERSION "${Z3_VERSION_MAJOR}.${Z3_VERSION_MINOR}.${Z3_VERSION_PATCH}.${Z3_VERSION_TWEAK}")
 set(Z3_FULL_VERSION_STR "${Z3_VERSION}") # Note this might be modified
diff --git a/scripts/mk_project.py b/scripts/mk_project.py
index 2f7402760..b77975dfa 100644
--- a/scripts/mk_project.py
+++ b/scripts/mk_project.py
@@ -9,7 +9,7 @@ from mk_util import *
 
 # Z3 Project definition
 def init_project_def():
-    set_version(4, 6, 2, 0)
+    set_version(4, 6, 3, 0)
     add_lib('util', [])
     add_lib('lp', ['util'], 'util/lp')
     add_lib('polynomial', ['util'], 'math/polynomial')
diff --git a/src/api/dotnet/AlgebraicNum.cs b/src/api/dotnet/AlgebraicNum.cs
index 66552f1a0..3687e1f83 100644
--- a/src/api/dotnet/AlgebraicNum.cs
+++ b/src/api/dotnet/AlgebraicNum.cs
@@ -3,11 +3,11 @@ Copyright (c) 2012 Microsoft Corporation
 
 Module Name:
 
-    IntNum.cs
+    AlgebraicNum.cs
 
 Abstract:
 
-    Z3 Managed API: Int Numerals
+    Z3 Managed API: Algebraic Numerals
 
 Author:
 
diff --git a/src/api/dotnet/BitVecNum.cs b/src/api/dotnet/BitVecNum.cs
index c6ac471f6..66054761a 100644
--- a/src/api/dotnet/BitVecNum.cs
+++ b/src/api/dotnet/BitVecNum.cs
@@ -3,11 +3,11 @@ Copyright (c) 2012 Microsoft Corporation
 
 Module Name:
 
-    IntNum.cs
+    BitVecNum.cs
 
 Abstract:
 
-    Z3 Managed API: Int Numerals
+    Z3 Managed API: BitVec Numerals
 
 Author: