From 7b79f0041fdfa8b3b90fd48017b2795c162e3c3a Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Fri, 7 Jul 2017 16:47:48 +0100
Subject: [PATCH] Update 2017-07-07-jstools.md

---
 _posts/2017-07-07-jstools.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_posts/2017-07-07-jstools.md b/_posts/2017-07-07-jstools.md
index c7678bf..229cd3d 100644
--- a/_posts/2017-07-07-jstools.md
+++ b/_posts/2017-07-07-jstools.md
@@ -2,7 +2,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](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) 
+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, 
-- 
GitLab