fixed a bug when evaluating Lane Riesenfeld