Update 2017-01-20-PIP_talk.md

_posts/2017-01-20-PIP_talk.md

@@ -4,7 +4,7 @@ title: Talk at Principles in Practice (PiP), POPL 2017
 --- 
  
 Philippa gave a talk entitled An Infrastructure for Tractable Verification of JavaScript Programs at this year’s 
-[Principles in Practice workshop (PiP).] (http://popl17.sigplan.org/track/PiP-2017)
+[Principles in Practice workshop (PiP)](http://popl17.sigplan.org/track/PiP-2017).
 
 The workshop, co-located with [POPL 2017](http://conf.researchr.org/home/POPL-2017) brings together 
 researchers involved in applying rigorous semantics to the analysis or design of industrially