BugFix: incrementSCounter was not correct