CVS update: MODIFIED: doc ...