update REPORTING-BUGS