#6494: Filter out duplicates.