NEWS

--- a/NEWS	Sat Jan 09 22:00:22 2016 +0100
+++ b/NEWS	Sat Jan 09 22:22:17 2016 +0100
@@ -1,7 +1,7 @@
 Isabelle NEWS -- history of user-relevant changes
 =================================================
 
-(Note: Isabelle/jEdit shows a tree-view of this file in Sidekick.)
+(Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.)
 
 
 New in Isabelle2016 (February 2016)