Make ordering stable