Men den var öfverflödig.