bugfix : identifier manager