Men denna påminnelse var onödig;