Fix deviceIdsAssigned() to return a unique list of IDs