final tweak for lnf and value bug