Before revision:  We prove that the analysed value function satisfies HJB and we give sufficient conditions for the smooth fit property as well.
After revision:  We prove that the analysed value function satisfies the HJB equation and we give sufficient conditions for the smooth fit property as well.