fix small mistake in the docs