Minor improvements in wording.