diff -r ea3b1b0413b4 -r b270f2b9bef8 NEWS
--- a/NEWS	Fri Jan 01 14:44:52 2016 +0100
+++ b/NEWS	Fri Jan 01 16:39:10 2016 +0100
@@ -86,7 +86,7 @@
 instead of former C+e LEFT.
 
 * The command-line tool "isabelle jedit" and the isabelle.Main
-application wrapper threat the default $USER_HOME/Scratch.thy more
+application wrapper treat the default $USER_HOME/Scratch.thy more
 uniformly, and allow the dummy file argument ":" to open an empty buffer
 instead.
 
@@ -551,7 +551,7 @@
   - Removed "check_potential" and "check_genuine" options.
   - Eliminated obsolete "blocking" option.
 
-* New (co)datatype package:
+* (Co)datatype package:
   - New commands "lift_bnf" and "copy_bnf" for lifting (copying) a BNF
     structure on the raw type to an abstract type defined using typedef.
   - Always generate "case_transfer" theorem.