Update REPORTING-BUGS