IDPool: minor refactor