Fix the GCounter spec.