diff --git a/content/news.md b/content/news.md
index 21e4c07..4461dd1 100644
--- a/content/news.md
+++ b/content/news.md
@@ -14,8 +14,8 @@
 + **10/2017** Our preprints **Reasoning about Divergences for Relaxations of
   Differential Privacy** and **A Program Logic for Probabilistic Programs** are
   now available.
-+ **09/2017** **Synthesizing Coupling proofs of Differential Privacy** and
++ **09/2017** **Synthesizing Coupling Proofs of Differential Privacy** and
   **Proving Expected Sensitivity of Probabilistic Programs** will appear at
   **POPL 2018**!
-+ **09/2017** Our preprint **Synthesizing Coupling proofs of Differential
++ **09/2017** Our preprint **Synthesizing Coupling Proofs of Differential
   Privacy** is now available.