[SteveC]

It depends if the name of the company name is "The BigCo" or just "BigCo", but as he referred to it as BigCo just before then it would seem to be a mistake.

[donaq]

Ah, thanks for the clarification.