They can be deleted manually, I thought they had gone :-[