Fixed typos, some changes in formulation