diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index e228b49..a2868dc 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -121,7 +121,7 @@
 }
 
 @inproceedings{BEGGHS16,
-  title  = {A Program Logic for Probabilistic Programs},
+  title  = {An Assertion-Based Program Logic for Probabilistic Programs},
   author = {Barthe, Gilles and
             Espitau, Thomas and
             Gaboardi, Marco and
@@ -132,8 +132,11 @@
   jh     = yes,
   reviewed = yes,
   booktitle = esop18,
-  url    = {https://justinh.su/files/papers/ellora.pdf},
+  url    = {https://arxiv.org/abs/1803.05535},
   note     = "To appear.",
+  eprint   = {1803.05535},
+  archivePrefix = {arXiv},
+  primaryClass  = {cs.LO},
 }
 
 @article{AH17,
diff --git a/content/news.md b/content/news.md
index 4461dd1..1dcb512 100644
--- a/content/news.md
+++ b/content/news.md
@@ -7,8 +7,8 @@
   2018**](http://lics.siglog.org/lics18/) in Oxford, England.
 + **01/2018** Slides now available for **Proving Expected Sensitivity of
   Probabilistic Programs**.
-+ **12/2017** **A Program Logic for Probabilistic Programs** will appear at
-  **ESOP 2018**!
++ **12/2017** **An Assertion-Based Program Logic for Probabilistic Programs**
+  will appear at **ESOP 2018**!
 + **11/2017** My dissertation **Probabilistic Couplings for Probabilistic
   Reasoning** is now available.
 + **10/2017** Our preprints **Reasoning about Divergences for Relaxations of