CVS update: MODIFIED: etc ...