diff -r afc7081f19d4 -r 9eedaafc05c8 NEWS
--- a/NEWS	Wed Jul 02 17:01:51 2014 +0200
+++ b/NEWS	Wed Jul 02 17:34:45 2014 +0200
@@ -1,5 +1,5 @@
-Isabelle NEWS -- history user-relevant changes
-==============================================
+Isabelle NEWS -- history of user-relevant changes
+=================================================
 
 New in Isabelle2014 (August 2014)
 ---------------------------------
@@ -34,7 +34,7 @@
 
 * Syntax of document antiquotation @{rail} now uses \<newline> instead
 of "\\", to avoid the optical illusion of escaped backslash within
-string token.  General renovation of its syntax using text cartouces.
+string token.  General renovation of its syntax using text cartouches.
 Minor INCOMPATIBILITY.
 
 * Discontinued legacy_isub_isup, which was a temporary workaround for