diff --git a/_posts/2017-09-26-popl.md b/_posts/2017-09-26-popl.md
index b0b08c2ad36ce8f212d72728b1c9fcbbcd77d04d..126735da01ddd8b68447cf5a3992498ec6b18198 100644
--- a/_posts/2017-09-26-popl.md
+++ b/_posts/2017-09-26-popl.md
@@ -7,5 +7,5 @@ and [Thomas Wood](https://www.doc.ic.ac.uk/~tw1509/), have had a paper accepted
 [(POPL 2018)](https://popl18.sigplan.org/).
 
 The paper is entitled JaVerT: JavaScript Verification using Separation Logic and introduces 
-[JaVerT], (http://ec2-52-56-105-125.eu-west-2.compute.amazonaws.com:3000/javert ) 
-a semi-automatic verification tool chain for JavaScript based on separation logic. More details will follow soon! 
+[JaVerT](http://ec2-52-56-105-125.eu-west-2.compute.amazonaws.com:3000/javert ) 
+a semi-automatic verification tool chain for JavaScript based on separation logic. More details will follow soon! 
\ No newline at end of file