bugfix in IdStore