Detta hade imellertid varit onödigt,