An application of itô's formula to stochastic control systems