If that's the case (claiming from own business) then, as you say, at most it's only his marginal income tax rate that he's saving on that figure of £23k, so up to £10'350 saving (+NI). But he's unlikely to be an additional rate tax payer if he's self employed as you'd have to be insane to pay...