diff -r ad5e2ed466ac -r c37100233af7 ANNOUNCE
--- a/ANNOUNCE	Thu Oct 03 16:25:40 2013 +0200
+++ b/ANNOUNCE	Thu Oct 03 16:32:33 2013 +0200
@@ -19,7 +19,7 @@
   HOL-Multivariate_Analysis.
 
 * HOL tool enhancements: Codegenerator, Function, Lifting, Transfer,
-  Nitpick, Sledgehammer,
+  Nitpick, Sledgehammer.
 
 * HOL-BNF: significantly improved BNF-based (co)datatype package.