fix trivial bug in unique