crucial bugfix in counting