Who calls this constructor? Can we remove it, or make it take a List like the other one?