Bug in count of vertices of a CC