CVS update: MODIFIED: man ...