Removing more dead code (a remnant of an earlier time...).