diff -r 44bc6ff8f350 -r b6a947a2c615 NEWS
--- a/NEWS	Mon Sep 23 14:53:43 2013 +0200
+++ b/NEWS	Mon Sep 23 14:53:43 2013 +0200
@@ -389,6 +389,7 @@
 INCOMPATIBILITY.
 
 * Nitpick:
+  - Added option "spy"
   - Reduce incidence of "too high arity" errors
 
 * Sledgehammer: