Fixing bugs and better docs for Synthetic Counters