diff --git a/CMakeLists.txt b/CMakeLists.txt
index d01004c36..46cb84ddc 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -2,7 +2,7 @@
 cmake_minimum_required(VERSION 3.4)
 
 set(CMAKE_USER_MAKE_RULES_OVERRIDE_CXX "${CMAKE_CURRENT_SOURCE_DIR}/cmake/cxx_compiler_flags_overrides.cmake")
-project(Z3 VERSION 4.8.12.0 LANGUAGES CXX)
+project(Z3 VERSION 4.8.13.0 LANGUAGES CXX)
 
 ################################################################################
 # Project version
diff --git a/scripts/mk_project.py b/scripts/mk_project.py
index 4e7c0e97b..982ea194e 100644
--- a/scripts/mk_project.py
+++ b/scripts/mk_project.py
@@ -8,7 +8,7 @@
 from mk_util import *
 
 def init_version():
-    set_version(4, 8, 12, 0)
+    set_version(4, 8, 13, 0)
     
 # Z3 Project definition
 def init_project_def():
diff --git a/src/api/java/Context.java b/src/api/java/Context.java
index a7d541242..a6b867eb8 100644
--- a/src/api/java/Context.java
+++ b/src/api/java/Context.java
@@ -2031,7 +2031,7 @@ public class Context implements AutoCloseable {
     /**
      * Convert an unsigned bitvector expression to a string.
      */
-    public SeqExpr<CharSort> ubvToString(Expr<BvSort> e)
+    public SeqExpr<CharSort> ubvToString(Expr<BitVecSort> e)
     {
 	return (SeqExpr<CharSort>) Expr.create(this, Native.mkUbvToStr(nCtx(), e.getNativeObject()));
     }