Fix & improve counter example