But doesn't minlex just do an alphabetical sorting? @smichr is there a minlex issue here?