small hacks in the end of SorterExamples.