minor changes in Lemke solver