Fix ErrorReport.focus_error so that current error gets marked correctly