Det var dock onödigt: