pfq-gen: bugs on counters fixed