needed to add a getter to the counter