value flow: fixed bugs