diff -r babe337cce2d -r 1794f405eacc NEWS
--- a/NEWS	Fri Jul 20 19:10:05 2007 +0200
+++ b/NEWS	Fri Jul 20 19:13:07 2007 +0200
@@ -31,7 +31,7 @@
 
 * Theory loader: optional support for content-based file
 identification, instead of the traditional scheme of full physical
-path plus date stamp; configured by the ISABELLE_FILE_IDENT setting,
+path plus date stamp; configured by the ISABELLE_FILE_IDENT setting
 (cf. the system manual).  The new scheme allows to work with
 non-finished theories in persistent session images, such that source
 files may be moved later on without requiring reloads.