Cleaned up WrappingCounter operators.