fix problem with duplicate identifiers.