diff -r fe44c0b216ef -r 3a3e4c58083c NEWS
--- a/NEWS	Fri Dec 09 14:14:05 2011 +0100
+++ b/NEWS	Fri Dec 09 14:52:51 2011 +0100
@@ -80,6 +80,7 @@
   word_left_minus ~> left_minus
   word_diff_0_right ~> diff_0_right
   word_diff_self ~> diff_self
+  word_diff_minus ~> diff_minus
   word_add_ac ~> add_ac
   word_mult_ac ~> mult_ac
   word_plus_ac0 ~> add_0_left add_0_right add_ac