(81) sorting wrong wrt 89