Bug fix: incorrect counting on number of users solved for acm problems