small fixes in event_report_bug