Minor bug fix in error_reporter