correction to device-pool inplementation