diff --git a/_posts/2016-07-07-jstools.md b/_posts/2016-07-07-jstools.md
index 54fdb718ca5c75310bbb6e8c0e7874489fdf2c12..4a3083b79d4ddf31be97c71448aee4d424ef81ca 100644
--- a/_posts/2016-07-07-jstools.md
+++ b/_posts/2016-07-07-jstools.md
@@ -1,7 +1,7 @@
 ---
 title: Demo on the use of JaVerT at the JSTools'17 workshop
 ---
-José Fragoso Santos gave a talk and demo on the use of JaVerT at the [JSTools'17 workshop](http://2017.ecoop.org/track/JSTools-2017-papers#program), 
+José Fragoso Santos gave a talk and demo on the use of [JaVerT](http://j3fsantos.github.io) at the [JSTools'17 workshop](http://2017.ecoop.org/track/JSTools-2017-papers#program), 
 part of this year’s European Conference on Object-Oriented Programming [(ECOOP 2017)](http://2017.ecoop.org) 
  
 The demo illustrated how JaVerT can be used to specify and verify a JavaScript priority queue implementation,