Minor edit in text.