Minor improvements in wording