modify calculation of AllocatedAllVectors to avoid double-counting