CVS #6139