might not be a bug, if those two count differently (e.g. patches vs packages) or if one refreshed the repositories later