diff --git a/publications.bib b/publications.bib
index dae710a6e983d627cf436df6fe1e00d27a51e3f4..a5797de8ee560feae8edaa90c860d05917b6d1c1 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1632,7 +1632,7 @@ invariants used to restrict the interference, and apply our reasoning to the exa
   title     = {JaVerT 2.0: Compositional Symbolic Execution for JavaScript},
   journal   = {{PACMPL}},
   volume    = {3},
-  number    = {{POPL}},
+  number    = {{ POPL}},
   year      = {2019},
   project   = { web },
   doi       = {10.1145/3290379},
@@ -1652,10 +1652,10 @@ in JavaScript verification; and the feasibility of automatic compositional testi
 
 @InProceedings{Bodin2019Skeletal,
   author    = {Martin Bodin and Philippa Gardner and Thomas Jensen and Alan Schmitt},
-  title     = {Skeletal Semantics and Their Interpretations},
+  title     = {Skeletal Semantics and their Interpretations},
   journal   = {{PACMPL}},
   volume    = {3},
-  number    = {{POPL}},
+  number    = {{ POPL}},
   year      = {2019},
   project   = { web },
   doi       = {10.1145/3290357},