repair numeric codes on $#error lines (broken a few days ago)