Fix another interation with existentials and a name clash.