fixed jites for lambdifier