r19880: Eliminate duplicates in the output.