with a mistake in the generic mapping of counter