Fixed a bug with report_binop_error