1 files changed, 3 insertions, 1 deletions
diff --git a/lib/xml.el b/lib/xml.el
index 2277cdbf..17e507d4 100644
--- a/lib/xml.el
+++ b/lib/xml.el
@@ -1,7 +1,9 @@
 ;;; xml.el --- XML parser
 
 ;;; !!! This version has been modified from the version distributed with
-;;; XEmacs to fix a bug parsing empty elements, for Proof General.  !!!
+;;; XEmacs to fix a bug parsing empty elements, for Proof General.  
+;;; NB: the version distributed with GNU Emacs doesn't have this bug,
+;;; so we ought to use that instead of this one.
 
 ;; Copyright (C) 2000, 2001 Free Software Foundation, Inc.