small changes at Eval.java