diff -r 7582b39f51ed -r 969119292e25 CONTRIBUTORS
--- a/CONTRIBUTORS	Wed Jan 06 12:18:53 2016 +0100
+++ b/CONTRIBUTORS	Wed Jan 06 16:17:50 2016 +0100
@@ -7,8 +7,8 @@
 -----------------------------
 
 * Summer 2014: Jeremy Avigad, Luke Serafin, CMU, and Johannes Hölzl, TUM
-  Proof of the central limit theorem: includes weak convergence, characteristic
-  functions, and Levy's uniqueness and continuity theorem.
+  Proof of the central limit theorem: includes weak convergence,
+  characteristic functions, and Levy's uniqueness and continuity theorem.
 
 * Winter 2015: Manuel Eberl, TUM
   The radius of convergence of power series and various summability tests.