Cleaning up dotCounter's appearances

Limiting when dotCounter shows up, so that the interface is prettier.