Re: Strange CVS output?