Minor tidying up of counting-sort().