Update 2018-01-12-popl.md

_posts/2018-01-12-popl.md

@@ -8,7 +8,7 @@ with [Petar Maksimović](https://sites.google.com/site/petarmaksimovic1981/), [D
 [Thomas Wood](https://www.doc.ic.ac.uk/~tw1509/) and [Philippa Gardner](https://www.doc.ic.ac.uk/~pg/), at this year’s ACM SIGPLAN Symposium on Principles 
 of Programming Languages [(POPL 2018)](https://popl18.sigplan.org/).
 
-The paper introduces JaVerT a semi-automatic verification tool chain for JavaScript 
+The paper introduces JaVerT, a semi-automatic verification tool chain for JavaScript 
 based on separation logic.
 
 <div style="position:relative;height:0;padding-bottom:56.25%"><iframe src="https://www.youtube.com/embed/HDf5PC0bzzo?ecver=2" style="position:absolute;width:100%;height:100%;left:0" width="640" height="360" frameborder="0" allow="autoplay; encrypted-media" allowfullscreen></iframe></div>