Making sure path vertices are sorted. Chrome seems to sort JSON data
itself, meaning we have to re-sort again on the client.