NEWS

--- a/NEWS	Thu Mar 11 10:25:04 2021 +0100
+++ b/NEWS	Thu Mar 11 11:22:25 2021 +0100
@@ -19,8 +19,8 @@
 
 *** Document preparation ***
 
-* More accurate LaTeX typesetting of \<open>...\<close> using \guilsinglleft ...
-\guilsinglright. Minor INCOMPATIBILITY, use \usepackage[T1]{fontenc}
+* Improved LaTeX typesetting of \<open>...\<close> using \guilsinglleft ...
+\guilsinglright. INCOMPATIBILITY, need to use \usepackage[T1]{fontenc}
 (which is now also the default in "isabelle mkroot").