"The average UK salary is £26,500 on which employees pay a total of £5,392.80 in income tax and national insurance contributions."
Corporation tax and personal tax are not the same thing so I don't see how they can be compared. In fact, in terms of taxes paid to HMRC, they would have been paid more tax overall.
However, considering they made a pre-tax loss, they should have probably reviewed those payouts of which I assume was shared amongst those on top.