Before revision:  Under a mild additional assumption on the model parameters we show that the viscosity solution is in fact a \pi-strong solution to the HJB equation and can hence be compactly approximated by smooth functions .
After revision:  Under a mild additional assumption on the model parameters we show that the viscosity solution is enough to carry out the verification argument .