Forgot a bug in tagging cvs10