Fixed a small oversight in the text