diff --git a/coq_jupyter/kernel.js b/coq_jupyter/kernel.js
index 003f0ae..2c8c718 100644
--- a/coq_jupyter/kernel.js
+++ b/coq_jupyter/kernel.js
@@ -13,7 +13,7 @@ define([
 
   var self = {
 
-    version: '1.6.1',
+    version: '1.6.2',
 
     onload: function() {
       console.info('Loading Coq kernel script, version: ' + self.version);
diff --git a/coq_jupyter/kernel.py b/coq_jupyter/kernel.py
index 75f3a30..4ae38ac 100644
--- a/coq_jupyter/kernel.py
+++ b/coq_jupyter/kernel.py
@@ -11,7 +11,7 @@
 from .renderer import Renderer, HTML_ROLLED_BACK_STATUS_MESSAGE, TEXT_ROLLED_BACK_STATUS_MESSAGE
 
 
-__version__ = '1.6.1'
+__version__ = '1.6.2'
 
 
 CELL_COMM_TARGET_NAME = "coq_kernel.kernel_comm"
diff --git a/setup.py b/setup.py
index 477cfb0..ab5c6ef 100644
--- a/setup.py
+++ b/setup.py
@@ -6,7 +6,7 @@
 
 setup(
     name='coq_jupyter',
-    version='1.6.1',
+    version='1.6.2',
     packages=['coq_jupyter'],
     description='Coq kernel for Jupyter',
     long_description=readme,