Make ordering of output stable.