Update 2016-12-15-Dolby.md

_posts/2016-12-15-Dolby.md

@@ -6,7 +6,7 @@ title: Visit from Julian Dolby, IBM
 in New York visited the PSVG group for a week in December. Julian’s research focuses on static program analysis, 
 software testing and the semantic web and during his visit, Julian worked with José Fragoso and Petar Maksimovic 
 in a [symbolic analysis for JavaScript](https://psvg.doc.ic.ac.uk/research/javascript.html) 
-based on JSIL and Rosette with the end goal of having a [bug-finding tool for JavaScript]((/images/posts/ CSR-Conference-poster-JavaScript.pdf).
+based on JSIL and Rosette with the end goal of having a [bug-finding tool for JavaScript](/images/posts/ CSR-Conference-poster-JavaScript.pdf).
 
-[ROSETTE]( https://github.com/juliandolby/rosette) is a solver-aided programming language 
+[ROSETTE](https://github.com/juliandolby/rosette) is a solver-aided programming language 
 that extends Racket with language constructs for program synthesis, verification, and more.
\ No newline at end of file