removed duplicate finite qualifier on Edges