Minor fix in text.