fix bug in counter printout