Strange CVS output?