delete counter (use instead directely the size of the vector)