diff -r 313b0033034a -r 7d035da21e9c ANNOUNCE
--- a/ANNOUNCE	Mon Jan 17 22:54:08 2011 +0100
+++ b/ANNOUNCE	Mon Jan 17 22:57:17 2011 +0100
@@ -18,7 +18,7 @@
   Sledgehammer, SMT integration.
 
 * HOL: various additions to theory library, including HOL-Algebra,
-  Imperative_HOL Multivariate_Analysis, Probability.
+  Imperative_HOL, Multivariate_Analysis, Probability.
 
 * HOLCF: reorganization of library and related tools.