!important bugfix : identifier manager delete