IDManager : small cosmetic fixes and cleanup.

2018-11-23, Edouard Tisserant