diff --git a/publications.bib b/publications.bib
index b12bf67c68db3dda89fb9f4091ddd447aa073c10..12d6394b55b355ed7d6734acee2139ab79d70bbf 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1587,6 +1587,7 @@ exhibit the desired behaviour.},
   doi           = {https://doi.org/10.1016/j.jlamp.2018.03.003},
   keywords      = {Concurrency, Specification, Program verification},
   url           = {http://www.sciencedirect.com/science/article/pii/S2352220817300871},
+}
   
  @InProceedings{Ntzik2018Concurrent,
   author    = {Gian Ntzik and Pedro da Rocha Pinto and Julian Sutherland  and Philipa Gardner},
@@ -1607,9 +1608,6 @@ modules built over a heap, where the interference on the shared state is restric
 of the module, and modules built over a file system, where the interference cannot be restricted
 as the file system is a public namespace. We introduce specifications conditional on context
 invariants used to restrict the interference, and apply our reasoning to the example of lock files.},
-file      = {:Ntzik2018Concurrent.pdf:PDF},
-
-
 }