[NTG-context] Difference in doifinset in MkII and MkIV