Good points. For consistency, I think it should indeed remove duplicates.