changed some counters to LaTeX counters