turns out there can be duplicate entries: weed them out