diff --git a/install-k b/install-k
index 51e3774c6cc..46f72a7dbcc 100755
--- a/install-k
+++ b/install-k
@@ -1,6 +1,6 @@
 #!/bin/sh -e
 
-K_VERSION=6.1.0
+K_VERSION=6.1.47
 
 if [ `id -u` -ne 0 ]; then
   echo "$0: error: This script must be run as root."
diff --git a/package/debian/changelog b/package/debian/changelog
index ced7fc496e0..e8b64fc2061 100644
--- a/package/debian/changelog
+++ b/package/debian/changelog
@@ -1,4 +1,4 @@
-kframework (6.1.0) unstable; urgency=medium
+kframework (6.1.47) unstable; urgency=medium
 
   * Initial Release.
 
diff --git a/package/version b/package/version
index dfda3e0b4f0..483dbd57b4f 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-6.1.0
+6.1.47
diff --git a/web/pages/index.md b/web/pages/index.md
index 1d767391f62..a7497298a11 100644
--- a/web/pages/index.md
+++ b/web/pages/index.md
@@ -40,7 +40,7 @@ call/cc.
 
 ## Resources
 
-- K Approach and Vision: [slide presentation](https://drive.google.com/file/d/1iXda2NyGzKVWxkd02IlXj5Tq5cOM_gNd/view)
+- K Approach and Vision (2020): [slide presentation](https://drive.google.com/file/d/1iXda2NyGzKVWxkd02IlXj5Tq5cOM_gNd/view)
 - A set of <a href="/k-distribution/pl-tutorial/README.md">reference implementations and tutorials</a> for common programming language features and paradigms is available, although parts of these implementations may not be fully up to date with modern K features.
 - Read some papers about K on the [Formal Systems Laboratory (FSL)](https://fsl.cs.illinois.edu/publications/).
 - [Matching logic](http://matching-logic.org/) webpage at UIUC (USA).