They likely counted the number of passengers via turnstiles or a gate or something. Think passenger count would be a good indicator of expected revenue and there would be a pretty clear gap. Probably one of the things the auditors noticed that was explained away by buggy code.