adapted to changed Set constructor