Get rid of an unnecessary counter.