Fixed a small error in the text