diff --git a/publications.bib b/publications.bib
index 4497807a0ad27df16ef38872be156a6b19f78bbc..3109662867eba877d55e60dc174b9ce0abf1d0ff 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1648,14 +1648,14 @@ 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},
-  journal   = booktitle = {Proceedings of the 46\textsuperscript{th} {ACM} {SIGPLAN-SIGACT} 
-  Symposium on Principles of Programming Languages {(POPL'19)}},
+  booktitle = {Proceedings of the 46\textsuperscript{th} {ACM} {SIGPLAN-SIGACT} 
+  Symposium on Principles of Programming Languages (POPL'19)},
   volume    = {3},
   number    = {{POPL}},
   year      = {2019},
   project   = { web },
   doi       = {10.1145/3290357},
-  abstract = { The development of mechanised language specification based on structured operational semantics, with
+  abstract  = {The development of mechanised language specification based on structured operational semantics, with
 applications to verified compilers and sound program analysis, requires huge effort. General theory and
 frameworks have been proposed to help with this effort. However, none of this work provides a systematic way
 of developing concrete and abstract semantics, connected together by a general consistency result. We introduce