Fixup support for type Counter