diff -r 20126dd9772c -r 15dc91cf4750 NEWS
--- a/NEWS	Tue Jan 08 21:16:51 2013 +0100
+++ b/NEWS	Wed Jan 09 12:22:09 2013 +0100
@@ -39,7 +39,7 @@
 and "class ... context ...".
 
 * Attribute "consumes" allows a negative value as well, which is
-interpreted relatively to the total number if premises of the rule in
+interpreted relatively to the total number of premises of the rule in
 the target context.  This form of declaration is stable when exported
 from a nested 'context' with additional assumptions.  It is the
 preferred form for definitional packages, notably cases/rules produced