People assume bills from HMRC are probably right. But it seems they have errors in their figures.