They have tons of commuters and business travelers. Didn't look into the methodology, but my first guess would be that those are included in the numerator, but not in the denominator.