update specs for uniqueness check