Duplicated names
Merge pull request #150 from vronchetti/CountersSyntaxCleanup

Duplicated names