Bugfix: correctly determine k-anonymity