Bug fixes to error_reporter