Comment by rsc

The $20K was the total across all the files scanned, not just the one with the bug.