HMRC’s requirement to correct