NEWS

--- a/NEWS	Fri Dec 22 21:05:54 2017 +0100
+++ b/NEWS	Fri Dec 22 21:23:06 2017 +0100
@@ -74,7 +74,7 @@
 arguments into this format.
 
 * Action "isabelle.preview" is able to present more file formats,
-notably bibtex database files and plain text files.
+notably bibtex database files and ML files.
 
 * Action "isabelle.draft" is similar to "isabelle.preview", but shows a
 plain-text document draft.