fix 'bad.cdx' sorting order