bugfix in IdManager