Minor changes in the wording