I think it should be a Set. Is there a valid reason to have a duplicated option passed in?