REPORTING-BUGS: cc the mailing list too