NEWS

--- a/NEWS	Thu Dec 31 19:53:19 2015 +0100
+++ b/NEWS	Thu Dec 31 20:40:28 2015 +0100
@@ -87,7 +87,7 @@
 * Action "isabelle-reset" now uses keyboard shortcut C+e BACK_SPACE,
 instead of former C+e LEFT.
 
-* New command-line tool "isabelle jedit_client" allows to connect to
+* New command-line tool "isabelle jedit_client" allows to connect to an
 already running Isabelle/jEdit process. This achieves the effect of
 single-instance applications seen on common GUI desktops.