diff -r 7f5579b12b0a -r ca68dc26fbb6 CONTRIBUTORS
--- a/CONTRIBUTORS	Tue Jan 19 11:46:54 2016 +0100
+++ b/CONTRIBUTORS	Tue Jan 19 14:00:47 2016 +0100
@@ -16,10 +16,10 @@
 
 * Summer 2015 - Winter 2016: Lawrence C Paulson, Cambridge
   General, homology form of Cauchy's integral theorem and supporting material
-  (ported from HOL Light)
+  (ported from HOL Light).
 
 * Winter 2015/16: Gerwin Klein, NICTA
-  print_record command
+  New print_record command.
 
 * Winter 2015: Manuel Eberl, TUM
   The radius of convergence of power series and various summability tests.