Fix mce-sort1 and mce-sort2 due to a recent commit.