Fix usage for __MkPair.