ANNOUNCE

--- a/ANNOUNCE	Tue Nov 24 10:33:21 2009 +0100
+++ b/ANNOUNCE	Tue Nov 24 12:29:08 2009 +0100
@@ -16,7 +16,7 @@
 
 * HOL-Boogie: an interactive prover back-end for Boogie and VCC.
 
-* HOL: Counterexample generator tool Nitpick based on the Kodkod
+* HOL: counterexample generator tool Nitpick based on the Kodkod
 relational model finder.
 
 * HOL: predicate compiler turning inductive into (executable)