doc: In ChangeCounter, put the module doc string in the right place.