Minor changes in the phrasing