Eliminate remnant of cut&paste during earlier work.