NEWS

--- a/NEWS	Thu May 31 23:47:38 2007 +0200
+++ b/NEWS	Fri Jun 01 10:44:24 2007 +0200
@@ -544,7 +544,7 @@
     Numeral.number_of ~> Numeral.number_class.number_of
     FixedPoint.Inf ~> FixedPoint.complete_lattice_class.Inf
 
-* Rudimentary class target mechanims involves constant renames:
+* Rudimentary class target mechanism involves constant renames:
 
     Orderings.min ~> Orderings.ord_class.min
     Orderings.max ~> Orderings.ord_class.max