I agree cat64, nor do I think women on maternity leave should be paid holiday pay. Surely you have to work to accrue holiday?
However, I support this woman in her compensation claim. I hop her "five figure payout" was nearer £99,999 than £10,000. Only punitive compensation will make these twats think twice about breaking employment law.