Corrected a few bugs in the examples for counters