diff --git a/docs/dev.md b/docs/dev.md
index 8bed2b9..f9cb937 100644
--- a/docs/dev.md
+++ b/docs/dev.md
@@ -1,6 +1,7 @@
 Update version number in
 * `unicode/__init__.py`
 * `package.json`
+* in two places in `web/index.html`
 
 Do a github release.
 
diff --git a/web/index.html b/web/index.html
index 6c260fa..3f646ae 100644
--- a/web/index.html
+++ b/web/index.html
@@ -9,7 +9,7 @@
 
     <!-- Latest compiled and minified CSS -->
     <link rel="stylesheet" href="//netdna.bootstrapcdn.com/bootstrap/3.0.2/css/bootstrap.min.css" />
-    <link rel="stylesheet" href="style.css?version=0.7.0" />
+    <link rel="stylesheet" href="style.css?version=0.7.1" />
   </head>
   <body>
 <div class="container page">
@@ -88,7 +88,7 @@ <h3>Help</h3>
     <script src="//ajax.googleapis.com/ajax/libs/jquery/1.10.2/jquery.min.js"></script>
     <script src="//netdna.bootstrapcdn.com/bootstrap/3.0.2/js/bootstrap.min.js"></script>
     <script src="typeahead.bundle.min.js"></script>
-    <script src="ui.js?version=0.7.0"></script>
+    <script src="ui.js?version=0.7.1"></script>
     <script>
       (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
       (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
