diff --git a/content/news.md b/content/news.md
index e8e5873..8b98efb 100644
--- a/content/news.md
+++ b/content/news.md
@@ -1,13 +1,13 @@
-+ **10/2016** Our paper **Coupling proofs are probabilistic product
-  programs** will appear at **POPL 2017**!
-+ **10/2016** Our paper **Computer-aided verification in mechanism design** will
++ **10/2016** Our paper **Coupling proofs are probabilistic product programs**
+  will appear at **POPL 2017**!
++ **10/2016** Our paper **A semantic account of metric preservation**  will
   appear at **POPL 2017**!
 + **09/2016** Our paper **Computer-aided verification in mechanism design** will
   appear at **WINE 2016**!
 + **07/2016** Our paper **Advanced probabilistic couplings for differential
   privacy** will appear at **CCS 2016**!
-+ **07/2016** Our paper **Differentially private Bayesian programming** 
-will appear at **CCS 2016**!
++ **07/2016** Our paper **Differentially private Bayesian programming** will
+  appear at **CCS 2016**!
 + **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