Fixed typos, minor changes in formulation