CONTRIBUTORS

--- a/CONTRIBUTORS	Sun Jan 20 13:59:13 2013 +0100
+++ b/CONTRIBUTORS	Sun Jan 20 14:00:05 2013 +0100
@@ -18,7 +18,7 @@
   including a smart type annotation algorithm and proof shrinking.
 
 * December 2012: Alessandro Coglio, Kestrel
-  Contributions to HOL's Lattice library
+  Contributions to HOL's Lattice library.
 
 * November 2012: Fabian Immler, TUM
   "Symbols" dockable for Isabelle/jEdit.