Small correction to sort example

@rmanthorpe