minor cleanings in the documentation in regards of the exported counters api