DHCPLeasePool: several improvements.