Before revision:  Moreover , the smooth-fit property is shown via the global regularity of the value function .
After revision:  Moreover , the smooth-fit property holds and the value function is C^{2,1 .