Bugfix in IdManager