diff --git a/publications.bib b/publications.bib
index f5a0d773d0c5cd622edc1fd7e5d9fc5bc4e27c44..713b7a947ce5fca9d77305da3c55656011bd0e35 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1436,11 +1436,7 @@ the JavaScript variable store.},
   file      = {:Gardner2013JuS.pdf:PDF},
 }
 @article{FragosoSantos2018JaVerT,
-  author    = {Jos{\'{e}} {Fragoso Santos} and
-               Petar Maksimovi\'{c} and 
-               Daiva Naud\v{z}i\={u}nien\.{e} and
-               Thomas Wood and
-               Philippa Gardner},
+  author    = {Jos{\'{e}} {Fragoso Santos} and Petar Maksimovi\'{c} and Daiva Naud\v{z}i\={u}nien\.{e} and Thomas Wood and Philippa Gardner},
   title     = {JaVerT: JavaScript verification toolchain},
   journal   = {{PACMPL}},
   volume    = {2},
@@ -1463,7 +1459,9 @@ operations on data structures such as binary search trees (BSTs) and lists; exam
 and test cases from the official ECMAScript test suite. The verification times suggest that reasoning about larger, 
 more complex code using JaVerT is feasible. 
     },
-    @inproceedings{FragosoSantos2015Modular,
+}
+
+@inproceedings{FragosoSantos2015Modular,
   author    = {Jos{\'{e}} Fragoso Santos and
                Tamara Rezk and
                Ana Almeida Matos},
@@ -1513,7 +1511,8 @@ more complex code using JaVerT is feasible.
     typed at static time are wrapped inside an internal boundary statement used 
     by the semantics to interleave the execution of statically verified code 
     with the execution of code that must be dynamically checked.},
- }
+}
+
 @Comment{jabref-meta: databaseType:bibtex;}
 
 @Comment{jabref-meta: saveActions:enabled;