fix small mistake in the text