diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index 1d97c65..1b3c001 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -7,7 +7,8 @@
             Strub, {P}ierre-{Y}ves},
   year   = 2016,
   jh     = yes,
-  docs   = yes
+  eprint = yes,
+  url    = {http://arxiv.org/abs/1607.03455}
 }
 
 @unpublished{BEGGHS16,
diff --git a/content/news.md b/content/news.md
index 619c622..ee139d1 100644
--- a/content/news.md
+++ b/content/news.md
@@ -1,7 +1,7 @@
++ **07/2016** Our preprint **Coupling proofs are probabilistic product
+  programs** is now available on `arXiv`.
 + **07/2016** Slides now available for  **Proving differential privacy via
   probabilistic couplings**.
-+ **07/2016** Our preprint **Coupling proofs are probabilistic product
-  programs** is now available.
 + **07/2016** An updated version of our preprint **Formal verification of
   randomized algorithms** is now available.
 + **07/2016** Our preprint **A semantic account of metric preservation** is now
diff --git a/files/docs/BGHS16paper.pdf b/files/docs/BGHS16paper.pdf
deleted file mode 100644
index 08dc3bc..0000000
Binary files a/files/docs/BGHS16paper.pdf and /dev/null differ