small tweak to SorterExamples.hs