diff --git a/_posts/2018-01-12-popl.md b/_posts/2018-01-12-popl.md
index c4979ce3824d9ddc689c939fbbd5a1c61df29e22..f8a05e06d6ccf05ec64c41d9419f205432b7d724 100644
--- a/_posts/2018-01-12-popl.md
+++ b/_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>