error reporting Set against duplicates