diff --git a/README.md b/README.md
index fd99a8db1..45db11b61 100644
--- a/README.md
+++ b/README.md
@@ -7,7 +7,7 @@ multi-property k-induction based model checker for Lustre programs.
 
 Downloads
 ---------
-[JKind 1.2](https://github.com/agacek/jkind/blob/uploads/jkind-1.2.zip?raw=true)
+[JKind 1.3](https://github.com/agacek/jkind/blob/uploads/jkind-1.3.zip?raw=true)
 
 [Lustre2excel 1.2](https://github.com/agacek/jkind/blob/uploads/lustre2excel-1.2.zip?raw=true) - an optional utility to convert Lustre programs to Excel spreadsheets