Minor fix for case-insensitive union duplicates