Fixed compilation errors introduced by previous commits related to counter ops