fix URL to point to current CVS web