fix counter64 bug