Removed duplicate CVS mark