Little bug fix in the text.