small modification in eff. def.